logic: a computer approach - university at …rapaport/563s05/schagrinetal85...logic: a computer...

15
(' \ LOGIC: A COMPUTER APPROACH MortonL. Schagrin State University of New York at Fredonia William J. Rapaport State University of New York at Buffalo Randall R. Dipert State University of New York at Fredonia c.l ' ,,~ A1-.a~-Jt~ fK T~~ ~~ '~ - ~.r.J-t: ~ ~ \J~ ~ ~ ~~~.. pro '/~-ff McGraw-HiliBook Company New York St. Louis San Francisco Auckland Bogota Hamburg Johannesburg London Madrid Mexico Montreal New Delhi Panama Paris Sao Paulo Singapore Sydney Tokyo Toronto @) IqllC;-

Upload: others

Post on 03-Apr-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

(' \

LOGIC:A COMPUTER APPROACH

Morton L. SchagrinState University of New York

at Fredonia

William J. RapaportState University of New York

at Buffalo

Randall R. DipertState University of New York

at Fredonia

c.l ' ,,~ A1-.a~-Jt~ fK T~~ ~~'~ - ~.r.J-t: ~ ~ \J~ ~ ~

~~~.. pro '/~-ff

McGraw-Hili Book CompanyNew York St. Louis San Francisco Auckland

Bogota Hamburg Johannesburg London MadridMexico Montreal New Delhi Panama Paris

Sao Paulo Singapore Sydney Tokyo Toronto

@) IqllC;-

Page 2: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

, I\

C

Y

"0' O

)CO

c:.:-,E'

1n.E'.E

-!-InO)~

ww

o)UC

: --xc:

O)O

)c:coC:roo

C/)

.A

c: "-

_0.'-

0) 0

U

.- ~

>

0

'- C

/)v.

:J ~

In '-

Ec:

E~

.-

- -l

-l..

'- :J-

0 O

)1::-CO

.- U

0)

:5-co cooo~

~

(.)~

~

:5~~

coE~

~

cO)g2~

:5~~

~~

-

:J In CO

a., 0

.c 0) >

-

.- 0)

- "C

.-

~

~

In >

In

CO

~

'Uj

In >

c: 0)

In ~

J:

ro g

~~

:J -

>-~

.~

+

:; In

0)' 0

~

0) U

-

-...

CW

0"0

CO

-_"O

CO

o~

CIi:;::-~

C:

-Oco

0.-

0) In -a. :J

0 ~

a. -

c: C

O "0 -

0) 0)

In0

M-

~C

:In~In~

"O

~

o)-O:JO

)C:C

~~

~--

'v M

0

"- 0)

0) U

0)

0 ~

C

O :;:: .~

>

-"- 0)

CO

CO

0-

'v 0)

.~

"0 ~

:J =

-

~

co In

co In-

..J IA

>~

co

- -

~

0) co

>

0 ~

~

~

>

- -

:J C

O -a.

~

0) Q

. >

IA

V,

..~

CO

c: > .c U

e:.

CO

"O"~

"~

c: 0) >

~V

, ~

, ~

'-

c: 0)

"0 0)

>

-a. ~

,In

0)"0 0) :5

0 -

~.E

~

0)00)~-.c

In c:

-_.cO~

-

~

"0 U "U

j ~

5

:J ..

.- .c:-

In.- In

c: 0

co.c c:

c(w

, c:

co c:

+:;

'- 0

"0 0)

"0 "U

j :J

.c co

0) ~

0

It).c

~C

co '-

0) 0)

- ~

-=

- -

- -

0.;: ~

In

In 0)

U

:;:: 0

~

coE

.c 0) ~

0

- co"-

U

0) ~

"- U

~

- M

M

~

~O

)o '-

~

~-'-InC

:'-:J-~C

:

L- ~

'v

.- In

U '6

.9- - ~

~

~

~

0

~

0 ~

0)

"0 ~ 0) E

~ ~

c:

~

:Jr-

.- ...

C

Q; ~

6 ~

~ ~

"~

0) >

~

~ c:

"0 ~

13 >

"-.

.~

:iEZ

"'.- c.

c: ~

c:

co .

~

.- "-

In 8

~

:5 ~

c:

"0

0E

CO

O

0 C

OO

) .

c:~O

)co 0:Ja.00)

W.c

~

"Uj

0):;:: ~

~

U

c:

0 ~

.'O:

>

00 E

~

E

:;::

~uc:'-co

uC:

0 ~

In

co>o

CO

co-L-

C')

~

... 2!.

0) ""Q

) ~

:J

.91 .u

e:. 0

0 ~

~

c:

:5 -

e E

0)

J: x

"e c

r-- ~

.£x~

'::cln~,

c: >

E

2>-

~C

J-O)lno

~

- Q

) 0)

CO

.

.:J :J -

CO

~ ~

c:

>-

'- 0)

.-

Z

~

... ~

(Ii

~

c: ~

.~

Q;

~:iE

""6

"6 E

~

.~

"Uj

.c ~

:5

~...

0)0)0'---'-"0 U

0)'-"0

~W

~,

- ~

.~

C

O

CO

:J

~

In 0

0) C

O

0) .

In.-~

.cf-

u-E

a..,v '-

0 c:

- In

0) In

CC

O

c::J0)

E-

0 ~

0"0 0:5-

0,Q

1::,Q-

- .:JU

-~

-:;::

'-CO

'-co

U)

~In-o)~

ococ:

O)

cos.'O:';

Ua.U

~-

c: -

- U

'v c: >

In In In-

:J 0 0) 0

CO

0

~

"~

"- 0

0) 0) In 0)~

.~

:5 E

E

.~ "U

j f-

.c Q. :5

c:: :J "0 .~ "0 .~

Page 3: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

:5 I

C: .~

c:

c c

~

0>

ai ~

0 ~

g'

~ ~

"§::I

cho>E

*g~

o~

u"'::I.- .c_'"

:: c"'o

*", .",~

55.~

"'.~

-.c~'"

E0>

1O

C\I~

fJ~cO

c.D

Q5~

~

O>

.g'o>-

.2:50>

~

c:co o>

O>

Eoo>

~

~.c

0 -c

O_.c

",Pc~

Eo

",:5::1-~1I:"",t-

U,--

c '"

- -

10 ~

-1:: '"

c ~

t- 0>

0 .~

fJ c ~

~

'" cO

E

c u;

0>::10>

0>

oj ",u-g

E",~

O>

-g",o

0 Q

) ..91

"Q;~

£ £O

>'~

~'"

o""6."'E~

"'-00

- C

o .D

.c

. u

EII

10 C

::l =

0>

'"OQ

) '"

-'~

Cc

.xi ..::C

C;o=

N

-o0>

~

-

C"'(/)

0>0>

0.c '-'O

>C

£ ~

8 :5

,- fJ

j:5 C

10 C\I

II ~

~

Pc

~ ~

0:: 0>

'"

0 8c

::I -gc

-cO>

.cxC\I

o>E

-~"(ij

5--.c1?

:- >

-~~

Q

)"'uC\l

~cQ

)'-,~

.,;"'~C

Q

)C

- "'c~

-u'"

X

Q)-U

.DLL

Q).'

,2 ~

~

6 ~

~ -g

~ 'E

~

II C

\I -g oj ~

Pc

oj g 9

'"'"

(/)u .D

'--'"

Q)0"'C

\I ::I~

--

Q)"'

.c'"N

-

'"1

c --.c

x 0

."'~

-'"'=

-

E",'

c"'-* ",=

C\I~

. C

.c.c(/)

'" 0

0>

~~

,-

",* 0

u 0>

~

A'

~

_0 -0

-o~

",Q)",

C\I

C\I

~-~

"'c: ",>

t0

W

Q)

-- '"

Q)C

(/)" ~

"'~

0 0--

>::1

-.0-

C

Q) <

E-

Q)

j'"

0>

.2 ",

II ~

!!!

~

0. O

. U

0

0--'

Q).2

"'0. .c"'~

'"

- '"

._~-

«>~

O

J>C

~

Q)

~0>

0-g ~

->",M

--:-Pc.!!1.E

"",g'9 E

1nQ)

.- Q

) .D

Q

) -0 ~

'"

>

~

Q) Q

) * ~

-

. ~

,-

0 ~

.c

0 O

J.c.c -

. .c°-~

*o>

C";-

O::.c

10;0=-

z :5

.!: -

I- C

.!:

Pc

~

Ii u

- ,e

Q) C

\I ~

.-

C

-§, ~

'"

.'" 0>

. -

" «

~

~

2 C

~

Q

) -

0 -

E

'aJ ~

£

Q)

0 ",.Q

.r: C

'"

~

~

.c ~

0 ..

0 1-0

~cjO

~

::IO

.~0.Q

)-~.-0>

'" ~

t-. -

- ~

...

=0

10 ~

.- -

c"(ijo.'aJ"'.c .2~

"'-{f;.DQ

) :5.'"

~

o~o~

o~o~

ffi '"Ii

- :5

~-g~

o. ._>

ou~'E

~

:C";;;Q

5=g

O>

~~

>

~

=

Pc

'" .c!:~

~

'aJ:5~55

.cQ)O

>.cE

o:5c~

~

~"'-o

W

- C

U

'" -U

::I -_.c-

Q»C

-~

~c

0 .--"',"

c~:z:.c

- ::IU

-OJ>

Q)

.c.cE"'

'" .-

.c C

~

-

", -0

~

'"0

'"W

- -

>

OJ~

Q

) C

~Q

) -c:

~

Q)--

~

,n '"

~

'" >

0

C Q

) - -

0 '"

Q) -

OJ C

>

::I Q

) -

.- '""

0>

c 0

~

C

U

'r: >

- C

0

U

~

-0 Q

) *

C - - .~

>

:: .c

aO

J 0

Q)

.- Q

) 0> '"

Q) '"

~ .- .c 0>

U

* .- ..; ~ E

Q

) ~ - -

~

~

0 0

~

~

OJ

~

g ~

"'~

-o""6."'c",E-",~

C\I§.c-o

",::I.. >

::I C

U

Q)

.D

Q) '"

,- '"

U

0 0

~.-

0. - .-

OJ Q

) - 0

0 ~

'" ~

S

E

0

g - ~ '6

.-E""

~

10 .,Q ~

o"(ij

OJ.r: .c

'" 0.

~

-Q

) Q

).c Q

) Q

)"'O

"'Q)

--Q)~

t-Q)

0.0'"-

_U

E

(/) "(ij

_.cuo>

OC

.cO;";""

~",.D

'" .c

::I-'".D

O

C

00 ~

C

- .D

1O

:C-~

~~

~::I

;- """.c

~

~1?

()~~

Q

) Q

)Q)~

E

--~.,Q

"""0Q

).c~

.~-o

-",

Q)C

Q

)~E

S

; """

0"'.9

c:0

~~

0.-

~.c~

.c.2'0>

..91oc ~

~

~~

~~

~

Q

) .. -

'" 0

~

U

Q)

- 0

c: >

- x 0

- ~

-0 0. ~

0

OJ

"Ii (/) 0 .c >

- O

J ,-.c

Q) '"

~ U

-

~

- Q

) - -

~ C

EU

>

~

>u

5.0;.[:<

0>

E-~

fJ "'0>

.!!10.: Q

50-"""::1 O

OQ

)-

.- ~

~:5Q

) E

o1n",cQ

)-",(/)~

-o-~o-",

"'II'"

'" ,sE

C

U[1..=

=

0 1O

~0>

0>

Q5~

Ea.i°.'"

o"'O>

!!!.Pc~

~

0>

::I ~

O

2- ~

'"

Q)

Uc

.c",->

-Q)

"'E"'_c

M.c

.Q

~c

cn<o..9

0>

.c~s;Q

)-oo"'8"'.so::l.-~

@*--

>

~

t-",~",:=

o._.c~::I...",c~

"'.D

*0>~

"'..

"'C\I:C

0. .

0>

~

C\I

M

~

-0 .00

0>..91

~

0>'"

.c.D

Pc

o>ou;

I-~

t- co.-

-0 0>

U

~

Q

) O

J ,;,

0 .!-

0>

0>

_0_0

C

::I .-

0>

U

C

~

- ~

.c

::I-

- E

-

C.S

-0 -

0>

- - -

'"'"

'" '"

0. ,,-::I

'" ~

'"

.- >

.9 ",Q

) Q

) 0>

0- c>

Q)O

>W

.c'"

.ct: '"

~C

O

f ~

~~

~o~

o~

Pc.c.2.2

~

"2 .~

~

§ .g

'aJ 2 .~

e:.

--"2 ~

~

t- --

0 >

- u-o

>

UJ-.c.c

'" 0>

0 E

.c.D

c:=-

(/)Q)33

.- .c

'"-U

", O

>~

O>

-l.c~

~-

E'"

~

- .c

~---

;:;- 0>

0>

O>

!!! C

..91- LL-O

o>-

'-' -

::I .c

'" 0>

.D

C

.c 0

>

~"(ij..

.c-O

U

"'",,!: .!!1"'-",

::I>

'" 0

C

0>

~-

~

-- C

~

~

.c '"

~

~.'"

£ ~

:5 ~

~

II:

UJ

0 0

"'-.c -

",0.. ::1::155

+

-0::»-'"5

usu a

0>:c:g.!!1

~::E

I

~~

o~~

~o~

ca:~

~-

0 ~

00

.c - ~

'" - -

a '"

t- 0..-

U

- 0>

- .~

.D

E

0 0

5, -

- '" '"

.DC

~

.c~

e:. O

J ~

-

E-o~

>

W

.-'6E::I

0-", co.

- -c'"

(/)~

0in'

.c C

x

f ~

~

0 ~

.00 -

OJ

'" '"

." - -l

II: '"

U.-

0>

Q)

0 C

.c

'" ~

0

~-0

ll>

>

- D

o ::I

Q)

.- -

0>

'" LL

jQ

) 0>

~._o.

- >

-u"'" C

,-.->

- >

.cP

c ~

OJE

+

.D

c~

Q)

,o>.c

t-.'"

.!!10~=

- 0.

-0 I

cQ)o>

0>

.!!1",:g ~

-

~.c

"'~u

e:. E

t:~

"'c:~oj"(ij

a °oQ

)'"~

U

.c""6.0>

>

::1::10>

o>

_Ot>

.

~o

UJ

E

°Eo

08£ ~

o.c",!: f

~~

~~

oo~~

lli~

ai'"8

b: ~

.!:oE

uoo

.co>~

o.o D

o -l"(ij:C

C-

~

C

-0 U

-

1n .c 0

.2 0

,~">

~

>

'"

Q:1:.-

0> ~

0

- '" ~

0>

'"

'" -!l; E

Z:-

LL .c - Uu

C

.Do'"

a -0>

.2"(ij>

0'6 ",-.cc

0 .r:

.c Q

) -

0 ~

0

~

Q)

'" 0>

0

10 .- .-

::I - ::I

.'" U

:c >

.cO

» -o.c-"(ij

0.::2-'"

"'~

_U

"S-O

>~

>

0>-'"

::I 0>

0>'"

-"'0>

--'" ~

-

,'" -0

==

-

.=

""6..c 0

'" .D

.c

0>

Q)

:5 ..91

'"

'" >

-"'.c "'0>

- U

.c",_.c ~

>

_o~

0>

=E

3 0>

~Q

) O

>~

~

o~

o~o~

O~

~

UJ.cII:

.c .2::

0:: .20>

10 ~

~:5°O

JO>

"a)">

O>

::)~j

- 0

- 0

0 ~

~

'"

~

"S

0>

::I '"

.!: Q

) -

.c II:

0>

~

~c.fJ

>

»~

...:~::~

.!:~~

~

t-.co.~

. "'Q

)::I Q

»'" -E

~-

-~,e

~

0>

U

-0 .c

E

U

::::: 2

E

'" '"

~

00.c

10 .!!1 C

-0

~~

~

cO

- ~

0»0>

-

.c~-c

~o

"(ijo>~

-1nC

0

og"'.c~"'2

-0.'"Q

) ~ -

0. 0 .=

0>

o!I -

::I - ~

= -

- '"

UJ

~

O>

C>

_.c

- ::1-0",

a>

j::)-

-0 0>

~

0>

0>

-5 0> -

0 ::I

~

0 ::

C

.c ,!!1

- 0

0 ~

~

0

0 ~

~

5

II:ir:' oj~

.c

'" '"

'" .c

-0 ~

0

II '"

.- '"

.c >

~

0.

t0

-0.c

~

C

0>

- C

jC

"(ij 0>

- -

~t-

j'"

~

~

.c::lQ)~

'"

~

O>

~c

"'0'" '-c:

-->Q

) -'"

0.Q

) ~

::I'" ~

-- 0

::I C

0»-0

~o.-O

U"!2.c

UU

"'09

~

-j

"'Co

""".- o-~

~.-

~-

0>"'

- =

U

::I-'"

~~

II:E

o~

u-"'O>

::I"'.c

j.- '"C

::I

-~

.,Q

Co~

~

o.'" ~

£~c~

.,;o 1n"(ij

jo.9

~

(i5E

- "'-o~

0

.c»O>

Q)O

>O

0::

.=>

'"

"'5 '"

uo~

~

u- -o>

u -

oooo~~

~~

-.co.

j~

0>

'" t

Q) t-

'-' E

'"

C

C

>

Q) - ~

.Q

j

.c 0

- '"

>

.- >

.c ~

2 0>

.ct-

2-0..c

t-'" 00.

>ll>

0 >

- -

_o~-

Page 4: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

.~

>-"0

cn C

..c

.~

:::: '"

<

w-

"OtIS

~

~Q

)-~

- ,

-~"O

. -J

O).c>

~

9 -Jcn

-' "'iO

-CD

~

OC

"O-"'c:

CD

-

>",;cn

C

0) ~

-

- C

.-

0) f-

~

,;.c C

D

C

U

"'iOi

~

.- ~

E

.~

0~

-.c .-

>

~'u

Q)E

-0=-

u~

wt

o.c cn

.c~~

"'C

~

.c ~

~

~~

~o~

o~

~~

Q)"'iO

0)- "0

_0.'"

-J- ~

Q

, ?;-

~'C

~

C

C

-

-J 2

- .- "0

~

0. .~

"O;E

'" uj.o

«- "0

>

~C

0)

NQ)Q

).?;- ~

~

::::-2:. ~

"'iO>

"':§£ 5

8-

0 ""

:r:-

cn ~

-

.-.c

- .-

~

cnaJ-

CD

~

O)

f-"O

~

0) ~

cn ~

.~c.c>

~

~

::)C

~

£E_Q

) u

~

0"'- -

'" .~

0)

'" -

0) 0

U

C~

cnujc:.c 't:~

O

CQ

i

~

g'E

a5 0

1-.-0)=

"'- f--

at

._~~

- U

~m

£.~

O)p'

>-'"

~

~~

o~~

~o~

.sO

)ca5 C

Dc:e~

-

0_.00) -

0 E

=oO

)cn .c

>

. ~

~c

- U

~

-

~'u-

-!:

.-§t::.oE

E~

"2a5

a >

>

- 22C

:a5Q;

ui0

C\I",

.~~

~

E

Q-

i-

Q)"'cn.c

::)

~

~C

DX

"O'O

+

a;~

~~

:c

"Om

O)o

oc~

.9.9.8~

u ~

--8'"

'8cn ~

=

:§.c50)

f-0

"'Q5.c

"0 '"

~C

D

- co

cn~.c

-~

E~

0 cn;:-"2'~

c:

+

c: 0.£

~

0 >

0)=

uj-E

"'io0-'"

0- 0=

- .

0)- '"

t C

I u",Q

) 0)

0 -..

0 C

DI

-~

c: . ~

~

Q)

~~

~~

oo~~

C

cuuo

~-

ffJ .:=

!Ii .5> £

0 c

; 0

C\I

"'io @-

'dJ :c !:.

.- 22 ~

a5 .:=

'"-'

E""-cc:(/)C

DO

) -

>.-

U'"

C

c -~

cn

'" O

)~"O

_~"O

Q).c'-

0 cn

c- >

'-E

O):Q

Co

0)<

-O

)CD

.O

)c.o- -.c",

O).c

cn~O

)=

cnI-

cnEco.c"'cnc

+

.- _2

0) -c-

.. -o

ocno .E-

:I: >

- ~

0 - -

I"'.-

c ~

Q

) .c - -

I- cn C

Q

)" .c

cn c:

E

-.- 0)

:. -

u cn 0

0 0)

~

C:- C

:- ~

i';I ~

1:>

~

~

E

,g 2:.

~

:::. 0)

i: ~

'0,

~

+a; ~

a.

I- ~

'" E

.c ~

0)

0 '"

e .. - ci:

.~

.s -

0 ~

0

~

0 ~

0

~

..Q ~

cn 0) 0)

.-c -"O

>~

o. -

L-o.~

~

>

0) "'E

£

.0 :a .? =

~

'" - cn Q

~

r-

.c 0

.c uj

cn .-0)

0 ~

:c: .c ~

CD

0::)

f- - =

- .- .- ~

~

.c C

D u

c - = -.c

c ~

Q

. <

Q) .,Q

.s £

- u

0)- cn

E.-

- E

.c

f-..J .

0) C

cn .c

c: CD

c: 2:.

~

2:. - ~

u

::)::).. ~

0)

"0 0)

CD

.- ~

.-£'in.?-c_°'O

'" O

Um

££

S'

~~

E.c

E

CD

.=

0 C

E

C

>

- u

CD

~

-

- 0

0 ~

~

0

0 ~

~

~

~

.~

5

~u-U

-~C

DC

.c oc

~~

>

O

)o~.c:l=

-

8~

Q

) £

" . -.c

'" u

0 ...:

0 .9-

.0 f-

'" ~

~

m

.c.- C

'"

- ~

.

.- ~

Q.

- c:

- 8

~.-

Q)

u. .-

0C

-

c I

- -

. '"

c <

C

'"

.-~

~

~

~

Q.

0)" =

U

0)0

>

cn'"

.0 U

'" '"

0 .-

E.

"'"'~

~

~

0~

L-

_0.~

~

cn

cn 'Vi

cn "-

r- ~

-

Q) ~.-

.-u.

(I) E

E-

oooo~~

~~

-O

)-.?->0)

'" >

.o~

cucr..:

!Xi

. x£

~",O

)cO)

Q)

0>

O)t=

.ccE

OE

c:

~o

-"'~U

~

-00)

2 O

)CD

O)

u."'iO L--~.c~r-O"'-'"

"Ocn~

O)

C22 ~

< .s

'"cn O)

c U

Cc

0) ,

Q)

, '

c0)

>.-

C

.-Q

; E

W

'0, '0,

'in £

CD

'in

EE

O)::)O

) ~

Q

) cn

~.?

.- cn -J

.0 ~

C

.0

0) c

80) "'

0) 0

.- '"

.-..

~~

c

- .,

0) ",cn>

.c 0)

~

CD

O

).cc

0) ,

- c

~

~.c

. ~

.~

.- O

).c:r:- '"

'" -

~

<II

~.s

~ -

f- '"

u 0)

e c

~

CD

0)

~

cn Q; ::)

"0 0)

~".-

0) ~

C

.0 O

)"OO

C

Q)

~

~ -

0) .c

.-0

.? c

f- m..

cn ~

.s -

cn 2

- <

II ~

U

0";

0.E

'- -

0. .-

cn>

~.-

~

.- '-

",.;:: 0)

" cn

~'"O

":C

.c

~

~

CD

9 .c

~

.s c

co '"

cn 5,

u 0)

~

.0'5

0 cn .-

.. -

c '-

u .

c.c

'- '-

~

cn Q

) ~

0

'" 0

cn 'c.2

uj""

- ~

O)

C

~

~

~

~

c - c

~

0) 2:.

cn U

Q

) ~

~

c

-" 'dJ

0 .-

~

Ecn

cn-Q)c

~:.

CD

"'5u

'- g'

~

~~

°c~

O)

'- '-.-c

c:.o

-c

.c .-

- E

Q

) '"

- 0

cn C

D

"'io 0

- ~

-

'" "'

- -

<II

u. ~

-.

" u

'u =

>

~.c

0c

-- c

. cn

C_.0

cn- cn

U

c 0

0)C

D

c .c

co 0

. c

Q)

C\I

.- C

-0 Q

) U

C

D - -~

f-

5 "'""8

'dJ 0

cn "0

E

u 'c

~

.c c

.c 2

E

. ~

0

c U

U

U

c

.? c

--~

~

~

22;::.9:5

g f-.2

CO

)E

'" 8

-i? ~

0 ~

--

- c::>

--'" ~

~

~

'22.co cn

.c Q

)-

r. 0)

~

o~o~

o~o~

~

::>2:.0)

.. 'in

W

£ a5::m

C

2:.

'5 '-

() .s

>

CD

..;-.c f-

C

Z

2 cn.,Q

E

-:.

0)=

.c .c - -

.. 0

- ~

u ~

-

.c;

- .gJ 0 -

E

U

W

CD

0)

0) C

'0

(I) 0

CD

:::

>-

O)'-cn°.c

0) C

!) cn

'dJc~

uQ)

0. ~

0

.0 .S

CD

ccn -

£ W

0

.c°'~

"'u O

.c 0.

>-.c

0 Q

).- .c

- "0

'" -

~

00)

- '" - .-

~

""0 -J

~

cn C

0)

~

-~

0

oo~~

oo~~

"6.°m

"'iO

0 0)

~

o.?o +

22.c (I)

0)"0

- cn-3>

C

I.o cn

,-0. C

- .c

CD

>

.-

cn U

:;-

-t=

0) f-

0) C

D

cn ~

c:

Q)

- Q

) -

U

"Oc_.c

uc ,U

.oQ

)O)

.ccn '"

U

m0

>-E

""5 cno:r:

CE

cn.o -u

- C

~

.o~U

~

Q)

0) f-

0) -E

-~

'-"iii'0) ;...

0. Q

)'O~

-.c"Og'

::) E

~

E~

E

~

E

~

Q)

- _.0

U

~

0) I-

>-.-

CD

C

0)

C

~

0 >

"'>

.c A

o.c

cn '-

.0-

- ~

- ~

oooo~

~~

~

~'---

"'io~

f- 0)0.0)

",'" C

D

cn -Q

)'-0)

>

.c2:.00) E

O)

~

~

£-0

£ -.c

-~.c

.~+

- --

C

,-c ~

~

",U

'- U

'-

~

~

0 cn 'V

i 0

0) :r: -

II '-

II. '"

~

'" ~

c:

0. :.-""~

"EO

) f-

f-ciJ C

D

cnCD

Q)

CD

0)E

0)

0 ~

-

- .-

'- oc::)

C

e.o c:

Q) m

oc

~

OC

C

~

0 .c0.'dJ;;:-~

1;(.,Q

0Q

..~_E

_gCD

o~

o'~

~

U

- 0

~ ... 0

., z

'" C

D ~

Q)

'- '"

C

.c-O)O

~

.~E

C

!) _O

)-Jc-J22Uu.

u.0)0)

.~

2:. .c

f- .c

0) .c

-J ..,.

;§ -

- :5

~

.s -1:

<.-

C\I

CO

) ..r

an cD

0) O

)m£::)Q

) i';I8,

~

~_s'~

Uo:r:"'iO

Page 5: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

O)-cn

-'0) 'o)o)"c

- 0-

0)0)-.ctU

_CW

.c ~

.c.cc :J

_0 ~

.c~-

.~

~ .2

U)

- --

- -

tU

.c ~

0)

E- -

- ~

-

-J ~

,.

C -

- U

U

cn v

.~ ~

'ij)'

tU ~

0)

>

0) 0 W

~

tU

C

tU -

0)-"

~:.

u..c '~

.c c :J

ro .c tU

~

0) ~

tU "c

C

.- -

~

- 0

a:E

- ~

cn -

.c c

0 cn cn 0)

O.

.- >

0) cn

cn .- I::

- -

.- cn -

.c W

~

I- ~

O~

c c

.- E

-,.

c -

c ~

"c

v C

.-

.- .c

'.

cn":J.c ~

'-U

)O)O

) 0-

0>.

-0)0):J?;-

-.2 cn

ro -J

a. ~

.-

0) 0)

C

c o...c

cn tU

"Q

) E

cn

0) >

~

~

tU

c

.c >

. ~

.-

-

=~

._>

.:?~

cnu.-cn :J-

0) C

"Ccn

0) -

U

,..- -

- 0

. ~

c

.-

~

- ow

c.~

_.!!1~~

0)0

-'" O

)oc

~

o~o~

~

-gU)~

8-g 5jc~

'E

'S>

c g~

~

~.2

>

0 cn 0) I-

.-E

o>

"' .cx 0)

.E- I::

a. cn cn~

8..c

0) .-

~

u,E

O.

:J-

"c cn cn ~

~

tU

0)

-..'0

0 -

.!!1 = c

C

5,:?' .-

a. O

):J 0) 0.

S

.c 2:. Uccn

~~

:-. "C

tUo~

u-O)

.cO)

-", '.

-- .-

;;:a.O)"cc

.+=

tUcc.c

-~

c:o ~

c

.oc~

0)

0) U

~ tU

c otU

0) R O

)E

- "Cc

tU

'+=

'0.., 0)

0) U

0)

0( .c

.c c

.- :J .c

v 0)

>.

tU 0

tU

0) ~

0)E

>

~

oo~~

I--O

)°w-.~

-O):J~

.tU

c -J

EE

~

E.c

I- >

tn-a.

tUcn~

.cO)O

)"c>'tU

-

'" -:J

0 ct>

5j'0~:'-o)-~

';=~

' tU

c"c ~

tU )("cE

'-

08.

~.-tU

.c~

~tU

'.cn c~

0)

~

c-~

.-

9!. cn

~

cn .c -

v 0)

>

0) .- 0

0) ~

0) ~

'.

q; ~

~O

)O)u.--2:.1ij=

cncn::O~

:~

=

0 ~

cn.~>

E.c.c cn ~ c

~

~ .-

tU .c

"C tU

E

c

.- ~

0)

~

c -

.- ~

.- ~

W c

0 - -

a. ", .c 0) c

Q

aI ~

o --

~w

O

)~cO

)I- '.

cn ~

-cnz

t.,2

'1: W

~ ~

~ U) ~

:J =

0 O

).~

. ::0

0) 0)

0) C

.-

!!1

- ~

~

~o~

C

:JU

) ,._a:

I::E

>~

C

U

U

:I=-E

.c;:

(/) 0(

.- -J-E

"C~

EI-.

:J-- 1\

-c c

'8.0)-~

; o.~

~5j~

m~

~~

~~

E'~

~

N

~~

0

O)~

o..oIt)

ro >

E a. cn ~

"Q

) m ~

to tU

.~

0 0)

tU -

+-'

~.

.c E '0 c

~

O)o=

o)"CO

)°"Ccn.c~

O)=

!!! g

cn~

5j ~

~..

;tU.=

~~

"C~

.8~O

)§.-gWo~

gO)=

~tU

0)

~O

) E

ItU

~

.~

~-:~

- ~

"

U :J -

.- cn .c

~

cn -

- .c

:JE

- ~

~

tU

tU.cO

)tU~

,"E

- .

E'-

c ,._:J

c,='

0 .c~

~

~

O).,a:c

0_0) 0)

0) ~

cn-~

I- ~

0

~

0 ~

~

!;- tU

ro cn ~

I- .2

~ c

tU Uc

O)

:J § U

) E

-g ~

2:. tUE

8 ~

:Jo

-:::: 0)

O)cn-

CO

) -a.cn.c

~o

V-

0) .'=

' tU

.c>

0)

"C

;;: .c

cn ~

tU

.- -

0) tU

""

.,2 ~

~.

.c :J

s>

c -tU

uO)

-~tU

E.cO

)~I

c 0)

C"C

00)0'

cn C

C

tU

-

~

~

- ~

.

.~

0) 0)

.!!1 0)

=

'0 0)

C

C

.c ~

'""

!!1.~

2?

8. 5j W:J

e § .,2 .8 2:. 2. W

,£ ~

=

=

~

. 0 ~

~

'0 0)

cn a. '8 -tU

C-

O)'_C

_cnU

) "C

C

.cE

~

E

:JO)ctO

~

- 0) cn =

a:

0) cn .- ~ - -

-J .!!1

cn 1\

a .c = tU

O

):J 0 .c

0 .c$

0 0

~

~Oc

cn8.

,.:. I-.c~

:? .!!1

0) ':-.

~ ~

>

. 0)

~""

,ft 0

tIS>~

~

cn

.c 0)

>. -

U I-

0) ""

U .c .c "C

~ u. - .c

""., -

~

~

0) cn

~

- cO

)'>

U

.co)tO.!!1-c-~

=

c- O

)~N

C

.cn~

cnU

Q)O

) tU

O

)'-.cro>

. - .c

0) 0) '0

0 0)

~

tU .P

. .!!1 0 agO

) 0)

0) ~

.-

cn :J

C

~ocn

0) ~

.~

c - c

tUO

)-~cntU

ucn~>

.c -

uu E

~"'C

~

o :J

.c ~

:J~

-O~

~ ~

~ '-E

- "C

:J e .~

~

§ g c 2? C

C

:J ~

~ 8

~:>

. "a;:>

. -.

t.~

~ 0 :E

cn.c ~

0) 0)

C

C

cn .-

0) cO

)O)

0) '.

E: ~

E:

"C

- tU

- "C

'8 ~

c cn ~

.c

tU ~

tU

.-

=

~

-d E

~

c c ~

.P.

§ ~

I tU

.c

tU

0) I

~

I §

a. ~ §

.!!1cO)8.a.:::~

!!1cE

U~

:J v~

~

."Co.-

=II-I

~

~

uO):O

u.coE

o-O

0)0)0) C

0)

"C"C

",O)

.8...

0).c0"-I-.+

=O

)~~

!!1:s:~

EO

)Oc~

=

vv =

~:O

-J ~

c\i M

~

N'"

~-O

)tOtU

O)a.;;:.cE

O

):J>U

- tU

~'O

E

0

cn.c:J~

O)O

)~O

) .c0)00)

>.

>0)0

~

"a;"C cl::o

--0)

,.~

-~.c

c.c

~

-.0;

to = =

W a.

= tU

to = to

.!!1 - E

U

) 00 tU

U 0

. .

"CO

)- .c~

~

~

0) O

)cn C

"C

W

W

c>c

-00) W

.c ~

O)

0 c

U)

U)

to tU

~

-;=

-. .c

U)

~

.- tU

, .

.c--,

- .~

cn.

~

~.c

0) cnO

) ~

=

"C

"C

:J N

~

~

-cn:l=

+~

.c ~

~

0)0)

- .

u. u.

2 0) '8

I:: -

~

u. -

cn U

g II

cncn

c -:0

~O

)O)

~

c 00

0 c

- 0

O)tU

tO

.O)=

"C

b 0)

a. 0..

U

I::E§

0; =

- cn cn .c "C

'u"- E

e 0)

m

0" :?-

:J .c-C

-CO

) ,.

0) .a..c

U)O

cn U

o5~

Ow

tU"C

"C

0) ~

-- "C

U

:J C

~

~,",,-

C

~

Ocn-

c...:.U

0

cn - cn tU

- C

.9

to 0)

~

:J 0

to 00

..c

U

c~~

:JtUO

)O)

C

tU

u-O)

cn In

0)8

O).g 8 ~

.~ =

1E

:O ~

E

ro

'8 ~ E

~

~

- II

~"'

.c tU

~

"' :J tU

~

:J C

C

-

0 -

~

.c~

-

c. ~

-

0 -.-

.- '.

cnE

cn.c

~.-

~

~ ~

~

O

).c-

0 -

C.c

", '" 0)

- ~

.ccn~

~.'~

-

U

- 0)

0) ~

~

cE

cO.0;~

tU5.,Q

'.

'. O

O)C

~

u+

~

"C

toE

~cn

~

O)"C

C

o;~

- a.

c -

cW

0 oO

)C-cn

cn.-", ~

~cn

0O

)N

cntU

U

:J.c

.c tU

cn tU

.- ro

~

-=:J

- ~

W

~

c8~;;;::o£0)

~~

~

=

g"8.9i !

5j1l e

:J I-

0) W

tU.,2

O).c

~'-ro

>

o=.c

+-'

cnE

a: -

~1::

~cn"C

a.cn>

-.

UO

)tU

C

u 0)

I- ro

~ '0 ~

~ ~

.~

:J "3 ~

':;:' cn

~?;-

"E E

~

O)'E

+

=

~

~

'8.E°

.ctUu)(

E~

~

~5j::

::0 ~

~

0)5 ~

.91::'~~

-

- '""

0) ~

~

",

c ~

~

~

- ~

0)-

0) '.

cn 0)

tU

)( 0)

'- 0

~

E 0)

~

- c

.c -

~

'. 0)

c: C

a ~

.~

=

:. 0)

cn 0. u

g' .~

:J E

~

"C

cn ~

~

to tU

0

0) ,§

~ ~

~

.!!1

~ :lJ

0; ~ E

2:.

~ '8

w ~ 5,

8. ~

~

~

cn- £ g a:

2:. !

~

i;=

~

cn E

tU

O

)O:J-ccn

:J",~

e ~

O

)c

g -0)2::0

0-

'0.c "C

:x: -

0) "C

-~-~

-

a:~

,. ~

-

~-

c c

U

E

~

cnO).c

000)'..c a.

0 0

0 0

cnl- ._:J

tUa.

O).c'o; c

U -

.c 0)

I- - 0)

~

a. -

- 0) c

~

cn --

~

0) u-cnO

)-I-~

~c.c

0) a.

- cn

O).c°

a:0)

c=

cna.

.c ct;o~

cncnl::'~

~O

)- =

0)

cn tU

~

_U

U

(ij~

C0)

- 2?cna.O

)ocoO:J

-.cC

.c 8.

- 2:.O

)O)w

c

- E

0) C

0)

!E

EE

'- tU

- 0)

. . Z

J -

c c

:>

Z

0) c

.:J=

~

O

)"C=

"c' ~

. O

)_.c -

u cn

0) 0)

!;-.-:>w

C

O

O)cn-

0) 2:.

cn cn tU 0) E

-0:J

"'"' ~

c

CE--

5j .9!.

t>

.c E

~o

~

oj (!)

0) ~

:0

~

8~

-

tU -

.c 0)

~

ro .-

cnE

O)

0) -

:J ~

cn.'

tU

00)

~

0 ~

cn -

.., U

§ >

.~:J

~

~'ij)'

~

0) .

('. 0

wO

)O)

- ~

0)

.;Oc.~

cn 3

..: 0) .c U

c

~

-0 P

O)

:J c

~

~

.cx "C =

~

0) Uc

~ =

;>

0) '.

-.- c

U

- 0

- '.

u, .-

0 u.

~c

!E

+=

S

I U ~

2:. =

-;=

- Q; ~

O

'.c ~

.-

coc

cn -

ro - ~

.c

2?:; II

0)0

tU

- C

-

.c 0

U

c U

c

0)'- ~

>

cn

I--

c 0

c.-

"C:J

", 0)

O)"C

I-

0 ~

0)

:J 'c-

E.c

0 m

0)"'

N =

- .-

- 0)

~

0) ~

"C

~

.- ~

-

- -'

~

0)tU

ro

'0; .cc.9S

1?E

.,Q~

o~

cn ~

-

:J 0)

0) c~

cI ~

cn

°.c:J

>

-0) -

'. ~

~o

~

0).- 0)

N

0)~01-

O)cn°tU

.~

.1::EO

) .c

cn "C

-

~+

Ec >

>

. U

c 0

's>"S

! 0)O

)~

=

'M

E

.~

:J ~

M cn.c:J N

-J

., -

- 0) -

cn c c

=

0 ~

'-

.8.,

:J .,

0) 0)

>

0 .!!1

0 'In .2 t>

tU

~

:J .- tU

0 ~

0

U) § ~

m

EiIi

to 0) ~

~

.c II

.c I-

II .;.:

=

c -

cn cE

:J~"C

5-oc cnU

tU

- a.U

) ro

cn~~

I-

I- I

5j .!!1

c .~

.2.9::0

c tU

0) U

0)

a; 0)

0) 2:.

2:. '0

0) _.~

~

t

tU

cn .~

.. E

N"

I:: ~-

0) 0)

0) -~

cntU.c.c

-E

~.c~

-

- 0-

.cn.- ~

. "'°",

.~

~

~

~

2-§c"~-§.:J

2:.s2:. ~

=

8.~U

)~

:2 ~

~oo

~£~

-g ~

S~

~~

~:J

.c 0)

.c .-

0 U

0

;>

.c E

E' - -

"C

. :J

... '"

0) .c

- - - -~

I-

~

I- .cn?;-

c +=

= g' tU

=

=

'0;

~

c\i '"

8 ~

N

'"

:J !!! ~

.5 U

) U

) U)

U)

0) tU

0)

.- 0)

to 0

+

- c

'" cn

- c

.c!!!:' ~

tU

0

0) 0)

cO)

0 ~

I-~

~'o;

=5=

()

:s: :s:

to"C

-- --

Page 6: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

Q)

-Q)Q

)CQ

)1n1n >

'0>.c

~

C

.c 0

.c .- Q

) -

C-

C

;;=

0 -

.- -

~

In Q

) .-

In ~

.-

>

~

,5 C

.~

E

Q

) .c

C

::I C

0

E

.~

0~

E

CO

::I

.cuQ)uQ

)'-Q)

~=

~::I

.D- _0

-co.cc.c-,- Q

)O-

.. C

Q) -

0 - >

< 0.

'- -+

8°In

u .-

-Cu

-Q)U

J 1nQ

)>

. ~

"O

"0 U

J c:

.- .c

c: - -

0~

0>

C

C

Q

) ,n ::)

C -

~

In -

'- C

C

O ::I .c

v, Q

),.. .

Q) C

O

CO

= C

O

.- 0

- ..J .c

u. ~

0 '-

.c - .3 .,Q

~

t

In - C

< -

f- v .in 0

-Q)

u ~

~

Q)lnQ

)u. -=

0. ::Iu.

- .c C

O In

~

In .!!1 .- .c

Q) C

O Q

) U

.

In- C

OE

Q)

-1n1n -

In.-

~

Q)

In -.-

.- .c

In C

~

- '=

~

"0 .-

~Q

)In

UJ-

~

.'==

~

0

~C

O

~Q

).c

~

.- C

C

~

u

0.cx

- .'-E

::)~"O

.-

_.8

_C

. C

')0.Q

)O

Q)~

.- ~

t~

C

O -

C

a: .- .c ~

- ~

C

.c"Q).-

Q.

o.='-LIn-O

CO

cO

EQ

) -'-

In 0

Q)""0

20,->

coo..c

Q)

~

f- _In

UJ

Q)U

.-CO

In In~

::I - Q

) ::I

C ,n

!!!- Q)

'- C

In

-Q

)0.

-. '-

.D

u E

v;

'- cn C

O 0

0."0 -~

8 -g

Q.,

:f: C

U

::l "0

~

'" ..J

In U

0

C

C

.ft.!!1 Q

)-

0 Q

. C

O

0 -

C

0 <

Q

) -

CO

Q) v,

EE

Q

Q)C

O

f-0

InU

°co '-~

u.lnQ)In"O

E

"C

Q)

-' In -

.- ~

u

Q)

.- .c

0'-

0-"

.-E~

cn

L- -

. '~

-E-

EQ

)::I0.

In.

.- .'=

=

- "0

"0 .. .c

'u C

0>

.c

>

In "0

cn .

"0 C

=

.~ - - Q

) '=

.c - ~

-

'- Q

)Q

) C

C

Q

) "0 C

C

O C

O

- In

- '-

,,==

E

CO

Q

)::I ~

0 o.'tij

CO

-g

u~

co~

>

Q)C

O-:,,!::;:-:"O

CO

Q)

~

0'"z

-- -

C+

~c

.c ~

-~o>

x~

cC

') <

'u

C

~

'u .in

>

~

0 .- - O

>.D

C

O !:?. -

Q) =

.~

.c

- C

8,-

. -

I'- -

C ~

- ,co

Q)

u-

U>

,-

""'"0 --0

Z

C

Ino~-~

Q

)C

>

"0 C

OU

J X

'u

,- 0.

~

1nQ)

In-' ,'Q

)'-Q)

.- Q

)O

ffi O

"",ij' ~

"'iij 2C

E

:~:E

E

~lnC

')Q)C

').cCO

.c -co

:?o.+-'

<

.D

C

.- >

In

In ::)

- U

<

0.

,!!1 -

In -

0 C

0- .c

E

E

E

- .;:

+..J.~

5,

"', Q

) E

g."O ~

-c E

>

~

Q)

:I: 16.2

Q)

Q)

~o

~c:R

E:In<

'i: O

>:=

::§.~In~

'-C

Q)

,~>

.E~

Q

) 0

E

E

"" -

+

'-' '-

. ,~

~

0. ~

=

::1 ~

In

'" ::I

c: .c

u ::1::1

'C

.!!1 V

I Q

) +

a

f- C

~

gj

- "0

:=-

'" .,Q

oct

Q)

E

e>0-

u.c O

>~

O>

u-

C:z.D

c:U

~

CM

::I~Q

)U'=

- ~

co

,-- '-

0'-

C

0-' co

'-c~

,0 ~

Q)

.J,~

~

,<

'- ,<

:f:

Q)

II ~

Z

II - Q

. u

o..§ "Q

; 'E- '"": ~

C

2 :c

'" .c

- E

z ::) ~

0

f- In

Q)

C

.c C

') ,- In

C

co .-C

I

f-uf- -::I

..J::)z.::) >

'lnO_co

E'-

Q)-"'iij

.- ::)::1::)

~e>

~

~O

..J~~

O

.D~

UE

~g.Q

)c In.c>

~E

Q

.lnQ.

'-co o::)U

O~

zz1n~

0>0

-0..2 '~

:J~0

f-of- ::I

,-..J -'

C

c'-lnln In

E'-

'-+

::)C::)

OQ

) O

UJU

..JUJU

J '-+

._-'-~In::l

-"0co

- u.c

.c"..J-O

II0>

C

"O~

~'--

0 C

c:90lnO

- U

'-'-Q)

Q)c:cQ

)"'~;;=

u -O

>co

.!!1 ~

,- - '-

co - I ..J U

f-

f- .D

C

O C

'"

CO

C

C

O C

.J,Q

).clnZQ

)Z

OQ

) Q

)Q)

cUC

>

Q)O

-=

~

~~

~'-o>

SU

J=U

J u;.c

a:..JS:

~

~E

In",+c,5U

0::1

IDU

OU

JQ

) ::I

CO

I -

I ,-

-a; ::I

Q)

U

c: .- E

UJ

'- In

'-

,5~E

f-,5f- C

').c ou.

"CO

D

U

"O.20

.c1n .!!1ocn

~~

~

t t

t t

u.8

~

~~

~

Q

) -InC

'-..J

C-,5

~

0. U

<r

..-E

~-""

EQ

)o <

IDU

OU

J-"

- 0

UJ~

~

"O""

::I.c ~

~~

~

, .

20 '"":

'-~::)

0.2 Q

) Q)u.

c-E.

. ,

, ,

,

C')

v cn,,=

C

') o..-,..,-oE

cco -0>

~

NC

')vIt)CD

::I InE

u._u::lc Q

)Q).-

In .-

Q) f-

x 0>

co "0 .c

0> co

Q)

.c,- Q

)C,-uc

-'-:.~

f-

0..!!1 C =

co In co

'=

~

In

>.

Q)-

Q)

Q) .c

In In

Q)

~E

In _0.~

co - .c

.c u

Q) .-

.c ~

Q

) 0>

"00.- -'-In--Q

) ,5u-

0C

:- E

In .c ,-

C

E

.- C

C

Q)coco

:J~E

Q)o::l

oQ)::I

-a; C

>x~

.D

c~E

.cO>

.2>

EE°.c

EQ

)Q)c

UJ.-o.::I-(ij

CO

Q)

- ::I

C

'- 0

~

C

e> 2

C

In co

.~

"0.- Q

) .- -' 0 ,5 co -

!!1 - -

ft, U

"0 .- In

a: ,-.8

.c 'u 0 -

-Q

)"i::.2 f-tU

Q

)Q)-

~u2

a; .c

In "'Q)U

::I

..c,5 _0

.,Q '0,;;=

E%

.::I

C

.c,,==

c- 0

EC

Q

) 0 ~

-0

In 0

-, In

..!!1- co

::IQ

),5u '!:.

oo~~

.D

Q)~

~gjQ

) ~

~

:f:c ,e>

+

~

C :f:

>

Q) ,5

::I ~

2

!!1 ,-.D

- .:::

C

co c:

0_- ~

1n.'==

cocE

E

Q)cQ

).2c ~

~',"O

coQ

)1n ~

~

.. .c-;::~

tUC

O

Q)

co-c 1n.D

In.c

"'0. Q

) -C

lnC-

.cC

co

Q) ,-

,- u

- In

Q)

C

.- 0

-:?'-Q

) -

~

Int,5~5,Q

)OQ

) Q

)E

co~>

, -

Q)

::I - ~

.E-

In ..c

"0 'u

.'==

a:

~~

O"co

- o~

o~

Q)'s1n -

'5::1UE

"O

a:0

',u

Q)

C>

Q) "0

.- In -

>-

00>

ft, ,- =

CC

lnO

'- .

Q)O

-

~'---co

UJ

f-0::I

C

~

0. ~

.~

~

,!!1 .c

:c 0.

'" to

,~

>

Z

<

.in

58-g W

Q

)~~

:f:E:J

=

0>~

8~Q

) ~

a:.2

-O

.D

.c Q

)-Q)'-

IU

CN

o..c..

,.. U

JUC

Q)

-"O.c

'-- .c-Q

) -In

u. Z

CoQ

::I.cU

"0

~

.cC

Q)0.Q

) >

o"O

.clno>o.

UJ

UJ8

c: --Q

) "3

~

UoQ

)U

.c' C

-.D

-,-cQ)

f-N

~

co o>

.c 0

t:E

u ~

.~

:f: - § ~

~

E "0

0 ""

In U

J ' ~

Q

)

- Q

." ,5

.~ ::

~

- - 0 ~

~

~ - cn - c.in

?:' Q

) >

'""Q; -t ~

0>

0

Oa:U

J.c

- <

1\

EO

I

0 Q

)::I .-

In.- ~

-

:I: N

E

'-- E

-

.~Q

)cujoQ)u

:2 a;>

.>.~

"'iij>

.~

>-

f-ffioU

Q

) -c:

Q)

>

.c cn

Inc -

Q)"O

1n1n '"

f- ,<

g ~

:Iiij~

E

~f-gj..J,5ln°

>IU

.D~

~In~

g C

E

a:~gj

Q)

. ~

::I

0 .0<

::I::Iu -~

~Q

)oo -

Q)U

J'::I-

::I "0 Q)

0>

'- ~

"0 u. :. '- Q

) ..

In "'iij -

::I - - ..J

E Z

I -a;

g> ~

g (ij

CO

~ - In Q

) Q

) ,5 E

,:2. ~

CO

0>"0

Q)

c(>::1 U

J f- ~

'u - - ~

::I .-

.c >

Q

) ~

-

0 0

.c 0>

'" ::)

cn ~

~

c: -'

~

~

0 - 0 ~

,~

"0

.D

C -

CO

0 :5

> ~

~

C

,5 :: ~

(ij '-'

a: ,5v-'"

'" Q

) Q

) C

C

O 0

_.c '~

CO

0

In Q

) 0

- U

J f- ::I

C

CO

.!!1 Q) C

~

>

~

8 C

.in E

Q

) ,5O

.c C

,,=

= Q

)E-

>-"0

..J :.

>

.cOin

Q)

co Q

)~::I

Q)

'- In

f- Q

)ID-

Q)

C

>. - .-

.- .c

Q)

~

.2E

~

'- C

IO~

..: '5

'- ,- -

N

0 Q

).c

.- u - .c

- In ~

U

-

- ~

~

::I

In 0

' .c

- o~

~'g:

tUQ

)'~C

::I~Q

) oct

"Oa;~

go§ :i

:gf';"CD

-t\

" In "'iij

~

0 0

~

.c ,5E

8 e> ..: ,5

Q)

0 .c

0. ~

-'" U

c(

EI

~,~

~

t\ 1\

C -

U -

:I: -

CO

Q)

_.c -

0 .- ->

~

- 'u

'- Q

) .,

- D

O~

~

..Q

)Q

) ~

-Q

),-::I"O

>"-~

-Q

)N~

Q

)~lnQ

)~

Q)U

JQ)

>Q

) I-

Q).co.o>

-- In::)"c

gQ)Q

) ~

~E

,5.g >

~

cn~,5~

~E

E

~"O

~,~

5:I:~

coa:.s8Q

)uu U

Q)

- ..J

E-'uoC

O

Q)O

>Q

»' ~

f-

_CC

0..-'-0

cc( ::I>

'-

-c="Q

.~

f- f-

,,"0C

Q

) Q

) Q

) t 0.

,5 C

O u.

In .D

CO

I C

O

.D .-

0. 0..D

In

~::)

:?- S "3

~ ~

~

(ij ~ -g ~ 5

u C

gj W C

C

5, ~

.~ ~

co .5 ~

0 Q

. 2: ~ 2-v cn cn

In In

0 :J

'- Q

) ,2 0 ::) - .2 -0

,5 E ,-g In a;

~

~ c(

~

In'=

V

V

'~ ~

~ rg <3

~- ~ "0 a: ~

~

C

5 ~ ;g co ~ E

;;i!

~

N'"

In ""

Q)

u C

:- f- -;;;

u In

"0 co

Q)-

Q)

_. c:

'- c"

\" C

Q

) Q

) >

In

"t6.S!:f:0

Q)O

CO

~"'O

O

.cOlnE

-

~=

_u IuIco,S

u"O

f ""

0

~-

Page 7: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

co Q

) O

==

Q)

Q)Q

)CQ

)cn Q

)Q)

Q)U

JCQ

j0-

.E

t-"""CE

Eo~

::I~.c

~::>

'---O

)c .c.c:=

'"

~-

'" cn::l

~coo

wcncn-

"""~Q

)cn cc

Ea:;;;o

- .-

.- cn

Q)

'" cn cn -

~

"0Q

)-

t- .-

u >

-

cn Q

) '"

~

'" -

cn

C

'" '"

m

..J ~

~

.~

Q

) Q

) Q

) Q

) .c

Q)

"ci B

cn

Q)

."!::

o.c::l ~

~

t:: .c.co.cn-

-cnQ)

'-.c

u'5'~~

u-~

Eg;'

~-;;;g.~

"§ <

,g"~~

..

.~O

-.~Q

)o.co.. C

-O)'"

._~

Ccn

u"" Q

) ~

IE>

.c -I:

u - -c

AQ

).-

- '"

~

Q)

Q)

C"0

cn ."!::

- ~

a

--::I ~

~

"OE

-~

co'" ~

.co

-g .~

cn ~

Q

)E

.~

£ Q

) '"

[ij ~

55 cn

~

'" .c

~:5

~

"u; ~

'" o.c

-c.c~

occnE

cUJ-

~

aJ.cc~"i:ccn5>

go--o..

UJcQ

)-1- 3J::>

0. a

.~~

-U

JocnQ)~

a

.c=.~

::>

cco. -a:E

C

U

Jc-;;;::>

~-~

'" u>

-o"'~

a: "'Q

)-:=

0~Q

) cn--o:=

a:~cn~

cn "'-o.c~

~

ucn!a", ~

=:

:g ..Jc--

t-cx-:.- Q

)~ccn

~Q

) --

2J-'" ::I

~o::l.c

=

.2 Q

) '(ij

£ £

'" Q

) Q

) aJ

~

Q)

Q)

;: cn

~

cn a

u- :0=

8

2'"'m

Q)-~

"O

~

-~~

-g£~

:=

~E

~

'"

~

Q)::I~

Q)Q

) cQ

)UJ...:

"0""--0- -Q

)- Q

) °2Q

)Q)

~

."!:: Q

) "0

~

'" C

::>

U

J C

[ij

.c cn

C

0. -§, - -

~"O

'in

~

.c~

"'cn£=

cn U

J"'a:cnQ)

-c"'E

..,Q)~

-

c--[5

gJ .!a :=

.2 5 ::>

C

t-

:;;! E

~

~ a

UJ

Q)

-0 £ -

-.; cnQ)

'" ~

S B

- cn .c"

a:.-

-::I cn:o=

~

=

: C

C

>

- C

U

J .

:;;! .- -

cn C

'-'

- Q

) u-

0) Q

) cn

'" -'

'" '"

.- '"

Q)

U

::>

UJ

. ~

E

-0 ::1'-

. t-

C

~

~

u a

::I a: cn cn

EC

cn U

J Q

)>

Q

) C

= ~

."!::

cn Q

) '"

Q)

'" C

- ."!::

t- .!a

~

Q) -

~

a: ..J cn - ..

0 0.'-=

~

I "0

Q) § E

~

.!a ~

~

cn

Q) £

.9! u "(ij 5>

C

t-

~

..J ~

J,Z

Q

) a

a t-

.S

.!a 0)

a E

£ C

'"

Q)

~ -

Q)

55 .c

ro 3J

0 u- ~

-~

~

.c-cn-.c

E~

- Q

)Q)E

""" .c-cn

10 E

"O~

~

-"O

Q)

"(ijOa:

.oQ)

Q)"'O

)Bo

cnQ

)",E

£ _c

Q)

Q)"(ij

0 ~

cno~

U.J

Q)

~

cn C

Q)

cn .c

~

::I ~

Q

) .- ~

a

-' ~

C

;:

~

Q)

0. E

.- 0)

Q)

.c .0

Bro'

. -

cn cn

2J C

~

0 -

~'"

Q) 0)

~

..J -

Q) -

~

C

cn -

-0 Q

) Q

) cn a

Q).;

::I cn

'" '"

"~

.c'in

- .c--';;""

Q)-£O

)-;;; .o.c~

C

:=

"E

.c'-':::I-

~

Q)

E

~

m

- a Q

) J;:. u

~

5 C

.S

u

:=

C

-::I ::I

- '-'.~

I

::Ii!:

~ -0 .c cn .c

Q) cn ~

Q

) Q)

'" .c

.- ~

Q

) Q)

a Q

) 8 Q

) .c

Q) B

.c Q

) gJ

::>

a cn

."!:: -

- ~

Q

) '"

~

£ E

cn UJ -

.0 cn

~

a ~

.2'

~

~

>

~

C!:

"'- .-

0 ~

cn '"

u Q

) '" C

a

- cn

Q) -0

Q)

~

'" a

~

'" 0)

a Q

)I-

Q) ~

0)

Z

.9! E

Q)

c ~

Q

) - -

.- ..J

ro ~ £

::I E

.!a

E

"0 E

S

.S

E .c

.cI

-~o.

~.

- U

o.c

C0

"'"' ~

- "'~

'"' B

ccn~cn

O)~

~Q

)O-;:;

u_- ..:

'" -J;:.Q

)-o~

~t-

~Q

)Q)

'.C

c""u-~.c~

a

CQ

)c-.

a -

Q)

C

-"' .-

~

cn a

_0.

~

0) cn

a ::I

a

- a:.c

.., 0.

cn U

Q

) E

~

'"0

- .0

Q)

Q)

£ Q

) C

'"

a cn

~ot-~

o. E

Q)C

U::l

_UJccn_",

uE.c

a -

- cnu

8~~

~Q

) ~

£~2°

~~

"'~w

c 55~

~

[ij 0

~~

"'Q)~

-a; <

i 5 e £

m ~

3J

55 ~

'" ~ ~

2 ~ g

c '" w

~

Q

) ~

'"

.§ ~

Q

)

~

:o=cO

) C

'" cn~

Q

) a:C

~'"

3JQ)cn

~

5- ",cnm

>-~

- ~

'"

- .S

'"

~

Q)

Q)

::; ~

~

t-

Q) u-

~

£ ..J

'in .-

0 Q

) Q

) ::I

'" cn

.9!~2Q

)~

~=

£.cQ)

-Q)

cn Q

) Q

)c~

C

.§ ~

£."!::~'"

.0Z

.- ~

a

Q) '"

-.c ~

cn ~

.c

_0Q

) cn

E .- u-

A"

cnC

- cn~

"0

--- -o--~

.o --

~

-cn ~

," c

.-.coo

~'"O

_

0,"--

u Q

) -

""-Q

)~

'O>

- -

- cn

cn cn

Q)

AE

- '"

cn '"

cn "-

~

C

.-.c

:>

"(ij Q

) C

-

.0 cn

E

- .-

cn '-'

~

UJ

E

.- cn

:5:>

Q) 0 gJ

~ aJ ~

a g! ~

.~ ~

-

~

- Q):=

~

Q

) =::

::I 0

I 0

~

';;,::> '"

~

Cl:o

'c"Qj-

... u~

-",

~C

uQ)B

'-=

£",.c -

... -

00 ca:cn.Q

o

Q)~

'-E

aJo.E~

C\lM

cncS

"""o. ~

aJ ~

.gCQ

)£~

~

-~.g>

:!!J

~C

\lM

0) I

'cot-Q)O

~U

J ::I

Q)

Q)

Q)

- '"

- ~

, ::I

- C

",.c

- '"

£..J", '"

_cn"!::."!::cn O

::lC£S

O

in Q

)O-Q

)O)

o~~

~

:!!J~

~~

B

E.'~

3J~~

B

::>

EI.!a£~

.c~

'cn' C

'."O

":'Q)Q

).c' -~

-~

Q

),..; -Q

)"oQ)=

cn

-,:.- Q

)Q)ccn

:5 ~

I c

..J.- Q

) Q

) Q

) Q

) ~

u - e

'" ~

~ a

:>

C

2:- ~

~

.c

'" -

~

Q)::I

:0 .c Q

) E~

- t-::I

~~

:omE

~

c20.£"(ij","O

:>Q

)Q)~

~-.c

~I~

aJ ",-.c~

;0 ~

O

.S~

,g':-og~::c2:-~

.E'iij

~E

~~

5~

~

t:"O:2

~-5--~

£ E.

t- ~

~ -g £ ~

~ 0 05 ~ ~

~ ~

.;: .2'

>

'in e. ~

05 ~

~ ~

- ~

~ ~

~

2 ~ .g E

.

Q)

EO

)c

Q)

:;;! '"

2 a

Q.

-0 R

~o

N

Q)

C .9.- E

!a ~

'"

a 0 -c

~ m

cn '"

~

C

- '"

-0

U

0) _~

r ",o~

"'0.::1"0-

._'-'~.-

""C::I'-

C

Q)

'in ~

>Q

) u

'" .c - -

E~

Q

) c -

:=

C

. ~

.0 "0 "0 ..J -

~

cn .-

- "(ij

.- £

::I '"

,0. 2J

- a

- 0

:=

'" ~

"(ij ~

Q

) .c

'" ::>

~

"0

=

C

-' :=

~

'"

a Q

) 0)

cO

in >

cn --

I ",._O

)uQ)

.~cn-Q

» E

2'>

."(ij """0

"'cn=

:o.So

-o~

~~

~

~~

.§Q)

E~

'~~

'"!::~>

J,~5>

E

~;g~

~~

ooeo.

~(,?'~

~~

g~~

~c

Q) .-

~

::I cn

cn -

x .c

.c !a

Q)

~

Q)

a '"

.- cn

Q)

cn - Z

-

>

Q)

~

::I U

.: C

..

"'"' cn

a:::I C

O

)c

::I .0

.9! - .~

2:- - a .c

'" ~

,>

cn o..cQ

)~

'"

C

... a:

0) ~

."!::

::I Q

)E

::I Q

) cn

L C

t-

a .-

cn '" 0.

Q)

~

Q) .- - -

-.- '" - -

Q) -

UJ

.!a ~

"'

cn cn

g.E'"

g;'8 co

c~

~51E

~-o~

-g~~

[ij ~

8~ct:gg.~

E

~Z

cn~~

"'cn5>~

~

.c

Q)

Q)

u .c

u -

a .c

a C

~

~

~

-

~

C

Q)

Q)

::I .c

.- ::I

-'- -

Q)

Q)

~

~

.- ~

Q)

~

~

~

>-

.c =

a

~::I

U

~::I

S

Q)

::I ,0.

Q)

Eo.

R

" .~

0)

~

u ~

C

a

Q)

'"~

0'"

~~

~

-~

..c' t::

E~

'-'O)

~

a:c'"--~roQ

)cn -E

-~

~o~

-og~.!a'"!::_.:g£

Q)'"

5>oQ

)c>-

'" U

JQ)~

.O

)Q)Q

)

~~

~

~"O

~

2ogJ~~

:!J.EE

:::~~

'a'J~

~ge.ro

-~~

.o ~

~

,~

~~

~i=

~E

- -

'" a

-0::1 E

u

>-

>-.-

0) Q

) C

>

a

.c ~

0.

l:o '"

Q) .~

ij

:=

~

:=

~0

cn -

E

u -

Q)

cn 0.

~

.c Q

) 0.

Q) C

Q) -

cn .-

:0 Q

) ~

~

cn.c :=

.-

'" "(ij

J: a

C\I

.- ~

'.c

~

Q)

E

u ~

gE

E

~

.c §:

0) E

'"

~"O

1'05 ~

~

C

~ - ~

"(ij

>

>

1-.0 m

>

- 0

~

cn 'a'J ~

-R

~ 8

"(ij E

~

a .S

CQ

):: '"

.S

Q) :;: "'Q)

B

ch .c 'co

- 8 - m C

>

S

Q

) ~

E

~

t-

u Q

) ~

cn ..J

co"~

'"

U

0. U

~

-

~

~

C -

.- a

- .-

Q) ~

.0 ..

>- 0) -

.- ~

Q

) a

-0 ~

>

Q

) Q

) Q

) cn

cn 0)

B

'" ~

:5

~

"0 '"

C

E

C

'- '"

£ C

.0

a 0

cn C

0

O).s

>

~

~

:0=-

- ~

_.0

cn Q

) Q

) ,,::I

"0 ~

~

-

A.-

.- ~

E.c

~A

", - - -

a ,. - u- -

~

~ .c

.- .-

.c - ~ a

~

.- a - =

U

Q

) Q

) -

Q)

~

- "0

"" '"

'" ..J -

0" "'

'" '"

"t ~

-::I

Q)",

.c~""

E-.cQ)E

--;;;£-0)-

~Q

)~-oo:=

:=-

..J_:>

~Q

)Q

)'-Q

)cn::l

- C

l. "0::1

0" .0 - -

~

- - -.-

- - '" Q

) 0)

C

Q)

'" - ~

- '"

co:>

~

~

.-."!::

- ~

[ijl:oQ

) ~

;;;1:. E

~!!!.B

"(ij5..5-.oQ

).2~E

.Q'o-o

>-~

g~:S

:>Q

) <

cO

~£oI~

Ccn

~

C\I.o

::1:5 ~

Q)"""

~E

Q)-

c"O-

Q)cn~

co.ccnE(/)

~o"'-C

~

..:o.c0

- It)t

E~

a .-

U

>-

'" '"

Q) Q

) a

.c C

a

0)'- I

- .-

C

~

C

'in U

cn ~

>-

- 't::::..,

>-

a =

:= .c

Q)_.0

>Q

) -

C

U

a .- -

::I .

~

>- - cn

a:Q

) ::I

::I~

'- '"

Q)

::I - C

E

U

'"

'" - ~

cn - a

Q) - E

- 0)

c" Q

) C

t-

C

Q)

- cn

e ~

E

01~

~

oj o..g ~

E'" .'"

'" E

~

ai

~ !¥i

g! ~

.E g .c

0 Q

) - :=

ro Z

£

.~0-

Q)

a ~ ;: g a

C-E

--

~

~>

- ~

~

::I-c::ICQ

) <

Q

)U

E"O

'-'~

C

~ ; ~

T

~

15" .'" :: ~

~ ~

~ ~

~ 2 § ~

~ ~

~

"(ij ~

~ ~

[ij ~ ~

.~ [ij

~

~ ~

~ e.

."!::- <

i ~ ~

.!a

~

~

55 >

3J

.c -.oQ) ~

::1 0

::I 'co

Q)

E-0

a 5. Q

) Q

) -;;;

E £

05 ~

~

-: u

~ ~

Q

j ~

~

Q)

>

'" E

cn C

.c

~0=

- ~

cn

::1--- -cn

E.c.c

::IQ

)- ~

",OQ

) ~

'-'- ._.c

E.c;,,"'-Q

)C

~

.c "'0.'~

:="'::I::I-

t::-£o>-'"

.cEO

~.o",Q

)~E

- "O

."!::,-,--.c,n.;Q

) 0

UE

.~E

Q)~

ccnocO::lcn

~.oc

u~~

Q

) "00

~~

£Q)~

zo::l-Q

)cn 1::1

'" cn-O

cUQ

)UU

-Q)-O

""" ::Ioo.-:>

Q).c

Q)Q

)-.~O

~.o=

::

x ro

~ a: >

8

0:0 U

a

g! E

'" .:0

3J ~ - ~

cn ~

t5 8

'" £

B

cn ~

~

0 0 f,;~

.~

UJ-o

C\I~

-=;

~

uO05",c"'cnu~

~Q

)2:-E::I-£O

E"o"'Q

)~o.

.c -"00

"O-o.2'.o

E~

::>:=

~

0 "'t-

cnQ)-o

-~'>

~Q

)-O)::I

Q)-ot:

-Q)O

O

Q)'"

Q)"O

-a:'"~

~

~

~

Q

):5

a E

c

;;; 55

C

.9! '"

~

~Q

)cn

Q)

c .S

l:o

~

~.9! a '" -§, ~

£ "8 - E

Q

) >

-:0 .S

~ t-

C>'"~

->

- "O

-Q

)C

E0.

~o

~-o

~-u

.- Q

)E

--cn",.c.c

a a

C

'" cn .-

-0 'u

a ~

~

E

'"

~

C

'" "0

E

UE

.c '"

.0 -

Q) Q

) =

.-Q

) x

E

aJ Q

) ::>

'"

c, Q

) in"

::I ~

C

-

~

0. E

::I Q

) -.: -

U

'" .S

cn

~

£ C

'"

'" 1:.

.0 .c

'" .!a

:0 C

\I Q

) -l-

~ ~

...:"

eo.0.

5 ~

~

.~

~

~

."!:: Q

g'

~

'" .?J:

~

.!a -g

:: g

:s -.oQ

) E

'§ ~ 1

Qj 2

'a'J -;;;

~ c

"'ME

'"~C

.-

'--E

""""--- ~

,-o~

Q)

O)I-;:;.c-

C",Q

)-

t>

" .-

a: ~

cn C

- '"

Q)

0. a

'"Q)

Q) '" -

C

0. C

'"

.c -

~

~ -Q

)~

.-E

.ccnO

.c,-,.:Q)O

~cQ

)'-'" "'cnco

~.ccc

-";'- "'~

l:o.cQ)

Ecn

2 ~ ~

~

2 ~

~!

t-:5.§ ~

g Q)

,<;I;

O)

c> g 8' cnQ)- ~c

~ ~

'i ~ E

~ ~

~ ~

.g,:g ~

~ a:o~

~

£Q)E

2 .~ e.

- Q

)Q

)- -'

'" - '"

UJ

~

- - ~

.- ~

-

Q)

C~

~

::I

- -Q

)~

Q

)E

'"-

Q)

..J 0.

U

-0 - .-

>-

0. ::I

.- cn '"

u "(ij

- Q

) .- ~

- U

a

~

~"O

Q) .0

cn .c

~

::>

C

C

.S

'" -

cn a U

-

>

C

~

~ - a =

cn

C

..J Q

) .S

-

Q)

Q)

.c",'" ~

>- "cn...Q

)E

EO

"'OE

Q)::Ic

'" O

C::I'-

"""~E

C

o~.c

-_OJ

~

a ,-,."!::_cn

->0.

.00".- U

=::=

-Q)_-O

--:=

::1 _0.-

Page 8: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

---~-~

.

'.

~i~

~~

0 0)':

cn . .

~

0> 0>

W- 0> 0>

-;'~

1~

.::

- -;;;

I: ~

.c ~

"0

~

. "',,:

"" -

0 '"

.::; 0-

(/)~

'" \,

0>

:;:: 0>

'"

~

,.,

.~

.c '"

"0 :E

g>

~~

;iu~

~.c.

oS

~

"5 0

'>.

'" ~

u.

5 .~

.~

.."0 "0

I: .-

0>

0 E

~

I:

U

E~

¥J.

~

.in '"

~

~

"Q.

00>

0

.:: 0>

;.;

cn -

~.-

'" ~

.::

.:: =

'"

.. -

0 ,.;

E

-!D

cn U

a. .,

0 -

C

.c cn

- ,-

w -

~

-:;::

'0 cn

0>

.2' -

C\I

0>

a."ci u

0> 0>

E

u '"

~

'" 0>

-:;

.EO

>I:~

.c ~

I: .!:.c

E

0>

cn -:;

~

¥J.O>

=O

-- 0)

~

'" -

~

.c.- ~

0cn =

=

'" u

0 0>

=

'in' a.

a. 0)

- ui

- =

'" - 0>

cn ~ '"

.- '"

E

:u 0

=::?:-

.c~cn.coO

>

cn

"0 -

a. 0)

-~",-"O

.c:i:

iO

.:: ~

Q

5 .~

:c g.

.5 .8 0

.c "0

0 ~

-

0 '"

.c 0>

0)

"0 -

'::-1: ~

E,

- >

.;::.::8~

.::"'w

'" >

-0 0>

0>

C

1. goo>

'"

oE~

w~

:;:: ~

U

0>

- -

E.c

U

U

cn ~

~'"

cn~

'"

E

'" ..

- 0>

«

~O

>«-'>

-~'::

- "Q

. 0)

~

B

0>

.~

I: ~

.

i3 ~

u.

a:1-c.~

,~Q

0>

"O

.c ~

;!::: 0

.:: U

-

0 '-'

<~

~

-

cn ~

-

0 0

Oo>

cn- 0

.~

0>

-~

~

cn-

~.-.::o>

~

cnI:

- -

- .::cn

~

13 ~

-o>.c-

->

0>

cn

¥J. .9-

.2 ~

(.)

,: I:

<i

.:cE

- cn .::.c

0>

cn U

-

>

- ~

cn

cn .- 0>

0 -

cn =

I:

'" 0>

.2.-

- .!:

.2' ~

.-

0>

Ez

- cn.c.;::

0).c!D

- ..

.~

~

'" ~

0)

cn ~

~

« ui

'" - a.

0>1-

~

~cn

"0 ~

a..=.!:0>

~

- .-

a. 0

.:: -.-

- , - '" "'.c

~,

- (/)

- ,

.c.,

. 0<

1 ~

- '"

O>

-cn.c.,~

- =

w

- -

-.:: .--

- --~

.,"

-'.c:: -

cn '"0)

« I:~

cn

.::=.co!.-w

1'1 -

"'.:: 0>

cn .-

~

0 cn .-

0>'::

- cn .~

(/)"0

« .~

, E

0

.c .-

cn /

U 0>

cn .:: 0 - =

- =

I- 'C

O

cn -

- ~

~

0-

0 °0>

",-J",0>

.::

~

>-

~5

;'-;: --

"'0>

0 O

>_"O

cn>.c«>

~.c

0 ~

-

- -

'-' ~

.c .::

I: .::

0>

.- I-

u. -

->.

:;:: U

8:

~iO

>

!Da;

.~I-

>

00>"'~

~

(/)'"

I- 5""ai

~

g '"

~O

) !D

>

.~

ui...:O~

~

iO

Ew

EO

>:Q

-::?:-iO

=

- cn

0>0>

~

~

-'v =

cn -

.c 0)::)

o>u-'::1:

cn~

~

'" ~

.cl:

00<1

a..c ~

~

=

>

-- -"O

a:~

u"'20~

'"

0>

Eo>

.. 0

- ~

E

0>

0 0>

~ .~

0>

.~

0. ~ >

cnU

5J-

I: -.

.~

>

.:: 2? >

~

0> ~

>

-

0>

~

- «

0 0>

cn I- 0>

0> 0>

.2 "aJ

Ucn

0>

~

Q5

~

E

« o~

«/

>-.

« 0>

- :c

(/)o>U

iEcn.cu.O

£0

0) I:

.c ~

~

~

0-0

~

'1:.5 ~

E

O>

0)

"0 cn=

o>

O>

ui':: 0

1:"aJ '"

0>

t: (.)

..Q

- ;'-;:¥J.

- """

- .::E

-

":: -

-:;:!J~.O

£E~

8.Q0 -

- ~

>

~

'-' .-

~

0) ~

.,

0~

'"

E.-cn

0>

.:: ~

0>

~

0",

~

01: -

~O

>E

O)

0>0>

13=

"0 0>

-0

!D

~

(.) >

::?:- a.

(.) ~

o ~

E

~

~

-- '::_.c>

.:: -

'" cn

~

~

!D'::

E~

~

(.)

(.) "'Q

)o~'::-'"

~

¥J. E

'"

0) 0<

1 .!:

>

~

0 0>

0>

>

0 ~

I: 0>

E .c - '"

0> "0

.cin'u

0>

cn 0>

«0

~

@.

0<Ia.

--:; @

. 1:0

>

0 >

~

1:-g>E

E'::o>

'6 §

~

;;: ~

~ I

>

o!. 0<

1 « e

.~:::..

0<1

~"8

« @

. ~

«@

2

5 .~ 0>

6,W'" ~

",.- '"

- 0>

(/)

~"O

-~

, .::.::

.:: 1:-

,,"cn~

.~

.c

Q5

~

I «

=

« /

0 cn.::

« 0>

~

Q

) .0

'" cn -

~

'" ::)

:u:=

"0

0 .c..Q

~

ui

~I/ -

-= ~

~

c'c

c a. ~

~ ~

~ cn a: -

cn - 0>

.

~

- -a.

0>0

0>

'" .-1-0

M

"iij:=!D

~

C

\I '-=

/

0> :a

~

a. cn u

cn .~

Q

5 ~ ~

.8 E

(/)

0>

0>

u~

0>'"

o>.c

0>

E.::cO

)"O-"5

>

.c1-.5

'" .c

0 .c

.~

.c - 0>

0> 0>

.:: ~

'">

(/)u

I-(/) I-~

I-

«O)cn.c",_o>

,,';,0

0>

- ~

'"

. .c

cn cn'

('. cn

~

0:s:'::

2? w

-O

'~

~

~w

~

1.

~.~

~

.~

~

.c"O

"0 cn (/)

2 -0

CIi

0 -.."0"0

., -J

¥J.- .::

-I- 1:.::

'" ..

'" - «

0>

0>.-

cno ¥J.

00 -

.cu. 0>

~

~

= .-

.- ('.

0>

-"0 cn"O

-

~

;:;:-

W.c

cn - ~

.-

~cn

~

.-~

'" a.

~'"

- -

- t:

~

~~

0)

0 ::)

.c ~

'>

'"

- '"

.5 0

- B

~

00>

~

a:- u""

.c "'..,

0>

I::.Q

I::

"0 I-

.8 Uo

~

5 .g'

5 c

u ~

.'§

20>

"0

.c.- -

ot: '"

--5

.c I:

0>

ui 0>

0

13 0>

13

u.~.c

~

~-

'" "0

~

U

I:: .c.::

'" 0>

,"-

~ B

U

i "'E

E

~ :g.~

~

.~

~ '6

.:s: E

.~~

~

.-

. - .c

I:0

.- -

WE

0u

~

- !D

.:: -

0 "0

- '" .

uO>

~

0>

O

>~

U

0>

.c

(/)¥J. 0

Uo~

1.

.c-g cn6

iO

g iO

g'~

;i~

-=

iO0>

" -

. '" .,

.c '"

-.cu~

0

Ui

-0 E

2? -

O>

Eu.'O

.--

I:: g 0>

.- «

E -

.:: 0>

.c

0>

0>

0>0>

-.c cn

- -

'" cn

0>

0>

>

I- 0>

"0 .!:

.. >

U

C

'" -

0>

~

¥J. .. cn ~

~

cn

0 .

~

'" '"

~

0 '"

Q).c

0 E

~

UB

O

>cn

E'"

E

"0 E

a.", E

"Q

.cn ~

-

0 I:: .::

.c "0

0>.5

I: ~

>

- 0>

- U

0>

~

.- - '"

0>

I:: ~

-

'" 0>

~

0>

I:

~o>

g>.-

0>

.c.c"O

0>0>

~

0.::

ou.co.c 1.

.::E

- 0>

.c

-00>

(/)- I::

E0>

-~

-O)I-

- 0>

-0 ",0>

>

-

l:uE

~.::

0>

~.c

-~cn

.c~

cnO

>

oEI::

oo~

",o.c 0

- -:;0~

.5C1i

-- -

w

0> (/)

0>

~

0 U

'., - 't:

. U

.c

E iO

0>

.~

---0

I- .c..

Eo>

-in o>

u --.

0>

Ui...:

:E-

-I:: -.cn

- Q

.I-

cn -

~

u ., ~

.c.:: cn -cn

~

= cn

.- ~

cn ~

0'"

I:: =-

.( -

(/) ~

- -

~.-

~

.-"0 -

a. 0)

:r ..(ij

=

0) ~

.c~

.;- -=

>

- -::

_!Du.c"O

'::.in.t::

0 ~

=

'" :u

~ I- -

= 5

~ ~

'"

~.c

0W. §

'" 0

0 ~

a. -

.., "','

-Q)

E-0)

I:: .-

E.::

0 I:

., 0»--

-~

- "'.-

(/)cn

Ecnoo>

-

.. -.c

~

.- ~

0> ~

I:: 0

.c cn '"

0 '"

1. 0>

0>

0> 0>

.~

-J

"0 ~

0

~ '., E

>.

.c-ocn

- -~

.::00

_.c ~

.c~

~

«cn

O~

u~

~-

-.- ~

-

cno>'"

- -~

-

-- U

~'~

O>

.:: '"

iO

~

¥J.!: I::

U

- -

.:: 0

- .::

- .2

u. ~

cn

cn 0

0>

0 -

0>

I: '>

U

cn

- 0

cn --

I: 0

- '"

0 B

-

0> -

0> .!:

.:: cn

~0>

","" U

=

0>

-

a. 0>

>

- E

~

.O£°-'"

O>

~~

'"cn

0>

0 -

- .c::?:-.~

E

a. ~

-;;; cn::?:-

0>"'.c20.

~o>

~a.

o>.ccn

I:: 0

-1:- 0.

"'- I::

~O

>

a.E

- .

--uo>>

u.c 0>

0>

~

00>

2?'"

o>iO

.2

"'- 0

.8O

)Ui

2?~ucn

-~o

uE

.::; --

>~

.c a.~

-

0>'"

1::=

1:00'"

cn.:: '"

~

cn '"

'" '"

a. ~

cn0

.- "0

.c - "0 0>

~

a.

!D .-.8

~

a. a. ~

a. '"

.- - >. - ~

0>

¥J. .:: 0>0>

",1:: -

0) ~

~

.~

'" "'0>

0>

",0.

EO

)",~o>

cn.-o-

~

E

8 ~

:u 6

0<1 0>

:

E

cn 5

cn g-

I:: ~

~

.5

~

~.::

"aJ g-

~

~.::0>

cnc

cn ~

E.c

-Ui

..,¥J. ~

.2cn

..Q~

0>~

0) -~

I: -

~o>

cn "00)

- 0

- -

"'~

uu '"

-- -.::u.::

"'"O.~

¥J.'"

0> '"

0> in

E

~

C!D

"O

-g .;

E.-

I: I::

=

g g

5 0>

0

U

.~

~"O

C

g

0 (.)

u (/)

0>

iO

~!D

.-

- -:;

'" "O

!D

0> 0>

.~

.~

.5 ~

~

'.,

~

>-

'" 0>

1:'::

0 ~

'" >

-.0£ 0)'::

0>

0<1

"0 ~

8-

~

0> ~

I::

I:: cn

in'.in' '"

'" C

0>

~

'"

u.-"9

'" 0>

.2 ~

O

>E

!D0.::

O~cn -

0 0

'" '"

'" ~

0>

0 =

U

'" - '"

.::0-

cn'"E

~~

cn

- -

'" uu

~~

-~

'"~

cn

.- 0>

- '"

.:: ~

!D

~

0<1:;::

.:: .c '.,

~

cn 0

:= =

:= u

cn = '"

0)8

0 ~

u

~

0> :s:

'" 0

.~

'" 0

cn .-

0> -

(.) ;S

'" ~

:=

~

~

N

in ~

P

. § 1. «!D

E

:=

~

~

:= ~

.~

~

~ :S

::u ~

C

\I0>

U

~

I::

.- -0

CIi

0>

0>

U

0>

-5~

0>

0 ~

55

O>

Ui

.c .cl:.c

0!D

.c~

Z

I- !D

uE.

:s:=

I- 1-2?1-

(/)

- --

ii'-,~.-c

--

Page 9: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

(') ..~

W.

0>

CI)

CI) "(ij

0).. 0>

W.

ui :E "0

0> ..;

0) in ..;

0) c C

: C

"

"(ij 0>- C

I)"0

.- c

CI) -

c .c

u c

~

u .c

0 0

~

"0O

>._O

>::)cIS

-- cIS

.!:- O

>::)C

I).2>cIS

-c

..,;;:C-~

O

~

O>

~cIS

"S -

~ a:

E<

0>

0) ~

.c a: =

~

-

0) "

cIS

"0) cIS

U

cIS

"0 .Q

E

~

~

cIS I-

' E

." =

aJ <

aJ <

- I- .c

~

;: C

.w.~

!!J

.c c

0) C

I) 0)

0> .~

"O!P

oE

0>--

00. _0

-O

>cIS

~

'" ""'.-O

~O

>.~

0>

~

"!20>~

0>

"C

I)"

~.8

- 'u ~

~

.c" cIS

c c

- ~

.Q~

O>

O.Q

.Q~

._0)"0

... C

Cl)

U-";"-~

U.c

cOcIS

.c-__C

.c.c -

0>0)

- =

~U

"O.~

"O=

O>

.~

0>

clSU

in-

- 0)

CI)

CI)"

I- -

.c C

C

C

O>

o. 0..-

C

>

C

o..c ~

.c cIS

"

in C C

" "

.w

0> U

0

.- 0 .c E

" - "

>- cO

" -

~

0>=

o.-E

E"-6

uj_cIS

~

.~O

)-O>

"O

!!J.W.Q

OU

"O.c"(ij

CI)

:5"=E

~

cIS 0>

aJ

aJ C

I) C

C

~

>

C

I) ., O

>.~

0>

~

--"$ C

- CI) -

0>

::) .~

~

- E

." 0

cIS

.Q .c

"0 .=

U

CI) ~

~ a

U

0> -g C

_°O>

u~c

a:-a..,Q

>

o.>-~

.~

"OclS

CC

I) -.-

C

.c 0>

0> "'8

~

C

0 1-"

0>

<

E .Q

i3 ui ~

~

~

C

c;:.-.~

.~

~

cIS '6

$ .~

P

. ~.cccIS

,,>~

-"O

c ~

O

>~

uin .(ijC

O-C

.c.-C

C

O>

~-

" 0) 'w

< P

- ~

0) 0

~ 0) 0 =

P-

o..Q

u ~

0 .~ ~

.Q a

0>

w 0>

~C

'w

~

"-6 :--.~

>

~ "

:5 0> .c -

~ u ~

u

~

~ '6 u

CI)

::) :5 "0"-6_0)0)0>

<

.0>

~og15o

~C

CI)~

p-c~cO

>

~

a: 0 cIS~

cIS

P. :5 -a. (Ii :--.~

O

J ~

0>

0> .Q

.(: ~

.~.~

C

- .g

~

8 :5

~

I- 0>

!!JO

O)--E

>-

:5~

:5"co o>

.~.cO

O)U

O>

0>

:5 0>

:5.-~

g~

~~

~~

~

.g~

~w

~~

.Q

~~

.~~

~.~

~,E

~.~

-go'd

15 ".c~

aO>

oujEo

I O

~cIS

~~

(Ii

~:5C

$aJ-a~o>

-a..~

E...J

~

.c 0)

E

0) ~

::)

I- - - ...

0) u

in 0>

0

cIS ~

U

U

0>

0>

0>

W <

<

o~

in>~

a:.9 u

aJ« .!:I->

uui =

O

>U

~O

>

.O)O

>~

~

~

.Q::)u.

>

u~.~

~.80I-C

I)!!i§ '<

p'°.~

0) tU

~g~

.~:5tU

aJ-.=-

-a.E

.9~0>

0 .9 0>

- -

cIS ~

0> >

-.~

'w

gj 0)

"< -

.!: ~

0>

.~ -- cIS

0) ~

~

cIS

0> 0>

-

"0Z

:r:

~

tU

0> "0

cIS -.-

- .c

C

!!J,.c E

u

~

.~

CI)

0. U

U

.

0. ~

" cIS

0>

cIS0-

<

.2:- !P

o .00.cclS

~-"O

u~

o.~15

~

..;"O=

~cIS

.~

~

--0" a"O

E;:

'" a-C

;;o>w

:5.-a;Eo°clS

~

clSE

E~

.Q

.,Q

.~=

O)::C

:o>-a.in.(ijo>

~

~

~clS

EO

>U

J .-.c::)

~~

:5 ~

~

O

>o>

c C

I) -clS

.co,co>=

o.c -c

"-6 .Q

~

CI)

:: -

a: 5

.!: .~

~

.(ij

.~

.Q

~

- 0

C

~

0. -

'to ~

. ~

,..

~

.(: 0

C

" 0

O>

~~

I---

>

>

'>-clS

o>cIS

0),..

0>O

>~

o»o>

o,u0

-..

= ~

~

. "0 -

CI) 0.

.Q

CI)

~

- >

0>

.c .- - 0>.-

0>I-!!J

o..2>°cO

>o>

aJcIS

C

« w

O

U~

-

o>o>

U.c-clS

o>c:5

"'CI)

u,,~~

C

I) 0.

~

0) 0

C

.c' 0>

~.Q

~

::) w

~

c"

0 .c

C ~

- - o..c 0

0) .~

cIS

0" ~

5 =

cIS

0>

U .-

0 C

I) -- - 0>

U

a: ::) - 0>

U - - 0>

0.

C

0 ~

- 0>

.c 0

~

0> 0

~

0>

N:5cg.c~

gtUC

C

I-a:~"g

CI)

c.c~oO

)o>c:5p-

~C

I) .,Q

~-.

I- C

I) 0>

U

E"

0" I-

0>-

-ci0>

0- .C

I)cco-- o"(ij

-or:::0>

!P

o C

"

.~:c

.- 0>

~

'w

~

. 0>

C

I) aJ =

"S

C

I) 0 .=

~

0

~

CI)

0 cIS

u.c

" 0

0> C

I) ,.. R .~

:;; .::

'" aJ ;;;-:5

0> -

cIS ~

~

0>cIS

" ~

0>

~

0>

Oc ~

"0

:5", 0>

- a:.-

>

~

"0 'u

~

... - ~

>

"0. U

~

.c "

" C

w

"S.!:

,,".§:~o~

OJ~

*-§ aJ«

aJ« ~

>0:5_~

~~

8a~

g~158a..;

8~

~~

-=-

$ 0

'., -

0> 0>

0> .c

0> 0>

cIS

:-- ~

:5 .c

!Po 0

C

0 C

0>

C

.=

0> 0

C

~

0 C

:2

0 in

-g "0

g 0

~

.~

.Q

15 :5 ~

0)

- 0>

'C

I) .8

g 0>

~

~

a 0

:::: .g

~:5

"(ij 0"0 "(ij ~

0>

W

:=

0>

aJ <

~ .~

~

E !E

. ~ P- .; ~

~

~ ~

tU ~

g P- .,Q

"'8

.~ p- g "(ij a .§ .~

~

.§ ~

:5 ~

.(:

~

0 ~

~

0

u u - "E

g "'" ;;;-

« E

cIS

.c .Q

$ - "0 C

~ _0

"c ..~

~

$ .

~

$ a « .2'

- "0 w

- ~

0 ~

... E

- ~

C

CI) "0

" - "0

C - "0

C

u.~

"0

0 to ~

cIS

.~

0 ~

"0

~

>

0 0)

0> 0) .-

cIS

.w"(ij

0> co

.2> g

C

"(ij cIS

C

C

cIS

"0", 0>

--"w.c

- -C

I)U-

CI)

- -~

~

~

0 0>

0 O

>w

.c!P

o cIS

>-

u "E ~

- w ~

"

C

« - - ~

C

~

"0

.!:: =

U

0 .~

U

.!:

!!J "

U

CI)

CI) "0 -

,,;;;- ~

_uOclS

"O~

O)oo>

~

0.0.0~

0>0)0

clSO

)cclSO

)cclSO

)-O"cIS

.~

clScIS

c~

... >

CO

.cc-'.c-fj;.c

EE

cO).cE

c." .cO

."-0>

-

.QE

o0)

>

,..0",5 clS

a:15 -

-:. -:.

O>

O)_c-"

:!::oO:!::_U

:!:: 00

CI):!:: 0

CI)",

CI)

~

>

wI-

","0 cIS

.Q

-- -

0>

.-w~

... oC

l).c.o>.

Wc

~

~

~-~

0>.c0):>

.

. .

. 'n.Q

~

~::::.

c.~I-W

~W

0)5~cIS

~

N

N

clS

cISaJ:5U

(u:>

~

It) to

,... --~

0. -a.

::) ::)"0

-~

~~

C

O

>C

I)o.0.

"0. a: " a:

cIS

cIS .(ij

"0>

C

~

0>

"S "

0.<

aJcIS

l-aJl-E

£0.

Oc

0.Q:5

a:EcIS

U

o>o>

"".c:~.-

U.c>

Cuo

E

c_oO>

.--0

o>o>

CC

l).cCl)

- -~

-'"'u~in

ta c

cIS 0>

.- c .-

0>

O>

E~

E.-::

..;~

C

I) -coco

CI)

cIS

uOC

l)-O

=C

I) .-

- ~

cIS

.- ~in

E -

i3 >- tU

.(ij Lu

=

0 0.

" -

" 0.

,nC

I) -

E~

c -

u...c

cIS

00

.-- ..J

0) -

0>

CI)C

I) «

g 0

o~.~

oO>

~

u."0

.Q

CclS

:5 :50>

0 C

c~

~"O

"O.c

~co..o

o>"O

)O>

c- ta

.- C

I) .c

0 >

OCl) " -

~cIS

~

0)

"'CO

>

0 cIS

~

:E

u >

.-

C

0. - 0) ,

.. 0

!Po

~

"0 "0 p- E 0>

C

0>'Q

) 0)

2 -

co>~

8~~

:5

0) ~

0)

~

cIS~

.C

I).c 8

C0)

- .!:

CI)

cJ 0> W

.-

0> ..J

(Ii 0

~

C

>-

0) .-

U

U>

- ~

.- 0>

- .Q

-a.

.c Eo

~..J~

.ujc :;;

- -

0. -~

C

I),nO

'UC

I) U

-

- _'A

""~_U

".--0

=

C

'U

- cIS

-, u. ~

CI) ..J -

U"

cIS

0>

U

cIS~

~

.- cO

-

0>

>

:E

cIS -

" "0

m

~

!Po.~

0

~

~clS

O)O

>:5u..~

C

- a.

"0..,0

cIS .c .-

~

0 ~

C

I) cIS

..

-~

0>

- ~

~

~

CI)

.c cIS

'U

E

in

0>

0) 0>

.Q

.Q

tU

aJ

.--

0) ~

.-"'.c

.c C

C

I) .c -

U

c.~

~

0>

->-~

o,,- "0-.;

C0

- ~

-§tU

C

Cl)U

tU

~C

~

C

.~

cIS

" cIS

.c°-ci~C

.c 0)

0-

CI)

,.", - "0 =

" 0 -

- E

"-

.- ...

w

~ -

U

" C

I) ~

~.c

. >

-~'U

U~

O>

=

" ~

.U

0)

in C

I) C

clScIS

>O

O>

15 ,0)

cISC

."

=

in 0

CI) W

.!:

0> .c

C

W

(u 0>

" .-

- " -

~.-

0>

~

- C

I) - ::)

CI)

~

-' ~

.c

C

.c 0>

.c

o>clS

a:.-C"O

>

a: 0>

-8

~

~

15 g-fj;I-,,$.Q

~

1-:5 a

cIS

0 .c

.Q

O>

O>

-O>

~W

-- 0>

0-

C

-,..CI)

EW

~C

~

c "0

" C

I) ~

~

~

0c>

=

CI)-,o>

cIS

cIS

0>.-

U',

~

0>

~"o

a: E

CI)

>.

0 C

I) C

I)';O>

O)C

I- w

w

~O

J cIS

aJ

(Ii ~

>

>

.

~

in-(u "W

u>U

>

'"0 .Q

.- aJ

I~

~

aJ

" 0>

.- 0>

C

0>

e' ~

"

0) .-

~

~

~

... ...

~

.c- -O

>~

-'-,-'

CI)

~aJ ~

.(ij

- ~

:--

aJ U

,I aJ U

aJ

g - .c :5

cIS .c

cIS cIS

a: « «

:5 C

~

.(ij-

IU

0. ~

od

0>

0>

'iij15c.!:~C

I)O)

I-u.u. c8

aJ c;:.-

od>

~

aJl«

- C

I) -

U

~

.Q 0

.2>"0

0> .!:

IIII

II 0

... >

-

CI)

;;;-C

I) ~

"c

.~

~~

CI)"O

C

I) ...~

.- '

- .-

CC

I)~cC

I)o~._",

CI)-

I«~

-

- ~

'u

CI)

0>

0>

0>

0>

cISE

W

~~

~

.- ~~

... >

~~

-

~

~

«aJ U

<

aJ .

« -u.c°uo>

-

U

«aJU

«- in

«.

~

«"I

l,l >

- ~

C

:>

CI) C

.c C

I) ~

~>~

>~

~>~

,..: N

M

.=

I «~

N

;;: ~

-

=C

l)w

O>

:>~

O>

-O>

o.o. 0>

- -

~'u

cIS

- ~

- - U

U

0>

~

U

"0 C

O

C

uCclS

CO

>O

>

C

.c

0 ~

~

iI

z~

g~:5$:5:5

OJ

I-

Page 10: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

--

..:; 6.

..:; c

--"(0 C

0. --

0. 0

0. C

Q

)E

a

E

-'8 E

..; Q

1:)

Q)

EQ

) C

Q

)c ~

Q

)-~

'~

;:, .~

Q

) 1:)

U-:

to ~

. _:

to.- -:

to ~

C

Q

)to

- to

c to

~

0 -

o.c ~

g o.c

8 o.c~

U

a

.:..:-Q

) -"'=

, -Q

) -Q

)Q)

C/)

to ~

--

to ~

~

to ~

- Q

) '"

c~

~'"

c~

- c~

c .r::

- W

-6> i3

..Q '5

'6> i3

£ -6>

i3 to ;

:: I-

-t: Q

) ~

1:)

-t: Q

) Q

) .t:

Q)

'" U

0

Q)

°.r:: uC

°.r::..;

~

°.r::-~

to c

~

Q)-";

tO ~Q

)-U

- Q

)-- "Q

. 0

;:,.r::cu

- -

.r::CC

0.

.r::co ~

1:)

'"- .-

c '"

'" - ._;:,

Q)

- -- Q

) -

- Q

) -

to '",.-

to--~

tOC

~

'" 'v

U

'" ~

01E

-2,", -

01E

c, 'in

01E

O'

=

01 0

=

UC

'"

- '"

- c

8--

c --

- Q

) ~

to

- Q

) -- .r:: -

.r:: -- Q

) or;;

- .- Q

) ~

1:) ~

Co.

.r::--~

1:) -.-

01 -~

Q

) ;1:=

-~

'v Q

) ~

-

'">

to

- C

.r::

.~

to -

- ~

Q

) to

- 01

~

_01 Q

) Q

) 0

~

-!J=

'in o-~

-!J=

~

U

-

g=

Q)

U

t:.r:: .r::

.D

Q)

a "Q

. ~

-: -

~

Q)

"Q. ~

I;::

to Q

) 0.

~

C

~

Q)

- -

c £

~

;:'.r::- =

'c

£ ;:'.r::'"

'in £

='.r::Q

) '"

.r:: u;

:l; 0

c1:)

U

2!. 0.

0 C

1:)

U

-~

, 1:) U

.r::' -

Q)

Q)

,->

>

.:2;:: Q

)~

0 >

.:2.r:: Q

) §

>.:2~

~

§

U

1:)Q)U

O

Ic

a .D

>=

.D

UC

.D>

-~

.D

.D~

- C

-

c->

-

c >

>

-

,- -

Q)

~

Q)-

Z

"'-->0-

0 "'->

0' to

"'-~o

to _.

~

- c

- ~

'" >

- ~

.- ~

'" - -

C~

'" -

CC

- C

C,

-;;;-.

--~

-- -

--~c

U

._~-

- c

- .'v

,. to--c

-'" U

to.-o

-c 0

to--to ~

0

Q)Q

) 'V

Q

) 1:)

E-

[i3 o.too

'if,'5 c

o.to,- -if,;:,

~

o.tOc'co

';:; "';:,

.r:: '"

Q)Q

)

ffi c); 0. -u

0. Q

) -2,

c); 0. g o.'c

'5 c); o..Q

0. E

'5

0 'i ~

to

~

~

<

=~

c ~

£ §

=~

;:, ~

8 §

=~

'5 ~

Q)

§ ~

'" to

'" r:

f- ~

C

,2,

Q)

U

~

C

-c Q

) U

~

C

C

Q

) ='

U

C

~

to - ~

iE

Q)

Q)

-~

!!i c ~

!Ii to

Q)

Q)

0 !!i c -g!!i

to Q

) Q

) 0 !!i c

'i!!i to

~ 8 !!i

~

:: o.E

.!.

::>

C.r::1:)",~

'!y"in", c.r::u"'~

8'"

'" c.r::u"'Q

)""" '"

~

'" -

0. '"

~

0 -

Q)

=

Q)

0. =

.-

0 -

Q)

=

Q)

=.-

0 -

Q)

=

.r:: c

=

,- 2!.

=

'" E

Q

) =

f- ~

"6 £ ~ '5 ~

Q)

~

~ "6 £ ~

'5 3: ~ ~

~

"6 £ ~ -0 8 ~

~

~

';; ~

~

~

~

to

Q)Q

)- -£

C

Q)Q

)-Q)"'-

C

Q)Q

)Q)-Q

)"'- C

u"'-

- to-~

2cul-~§1-2

2c~I-.r::-~

1- 2

_c~I-.r::-~

1- 2

.!Y."(O

I- "6

- P

-Q)

too'!y'C/)-~

C/)c

tOO

-"'C/)-.r::C

/) C

tO

O_C

/)-.r::C/)

C

0. C

/) I-

C

-~~

C

~w

C

tO

w

Q)z

~

C

~w

c,~

w

Q)z

~Oc ~

woc_~

w

Q)z

Q)-gw

3:

C/)

~

~~

OO

~I-O

":51- "'w

O

O~

I-O~

I- "'w

0

~I-

~I-

"'w

a: to

I- =

' ~

~

~

-~

~

~~

~

~J:

~~

~

~

~

~J:

~~

~

~

~

~J:

~

~

Q)

uZ

~u.

to.D

U1:)

Q)-

I-to.D

U

1:) Q

) _

I-to.D

U

1:) Q

) _

I-to.D

~

W

Q)

w

-~

~

~~

~

~

~

~~

~

~

~

~~

~

~

~

~

a:

J:~

~

~

:';:) £I-::§:;§:

~

==

- 0..

C0

"~

--

--0

- ~

>

>

>

'V

w-

~

~

~

I- -:;

0C

/) .9-

0 ~

. ;:,

a:..

0 0..

Q)

.r::I-

C

Q) C

Q)

~

>'0

.E.

_0.>

'0

>0

-~

011:) -

-- >

, .r::"(o.,:;

E

Cro

---;:, ~

"(o 0

01 2!.0.°t:Q

) Q

» ~

c Q

) C

to

>.

Q)

0. E

Q

)'"

->

~

£ '"

to Q

) £.g

0. ""Q

)C

E

Q

).r:: --.r::

1:) to

Q)

-Q

) Q

)~~

~I-

§c c~

C

01

'" ~

.r:: ~

tO_g,

Q)

<1:)

to Q

) ~

1:)

to-

to ~

Q)

'" Q

)E

'",. -

C":"'

0.Q

) ~

",-

'" --",

'" ~

>

~

Q

)~

o§~

,-~

0;:, ~

~'in

=

Q)

0 _!!!

'"tO E

~u"Q

.~Q

) £e'

Q)Q

)=

;1:=

-:;""Q)

- 1:)

Q)

J:'" 1:)

to U

U.r::

Q)

0.D

'" Q

)Q

) B

"'Q)I-Q

) C

uu-

- '"

1:) -

'in

>

cQ)~

-.r:: tO

Q)

;:'=,0

Q)

- Q

) U

=

>

-- .r:: a: -

.r:: '"

'" .D

.r::

'-.D

C-

'-oSO

Ol

w-

'",c -

0. --;:,

'"W

.r::-u",c

~C

.O~

too

C

e ~

-C

~

~

u;:, '-'--

Q)1:)

0 ~

~

a:C

0.C

,~

a:

~

-- .r::

'"1:)

'" 0

- C

Q)

~

.vI-

~

- ,

- Q

) - U

'"

;:,I-

to - ,-

;:, -~

'" =

_0.~

C

1:)

~

'" --

-- -

'"~

- U

- >

'" ;:,

", C

~ =

0-

'"

- .D

"""C

/)'"

2!. C

rE

u -

'"Q

)-

-- =

c'.r::~.>

"'---

U

E

~;I:=

~

.r::

1:);1:=Q

) 0"'Q

)(!)Q)

=0.'"

o~o.

='

-!if ;:,

J]. -g'

0 Q

)1:)

-Q)-:;z~

;l:=

E--

-"'Q)E

01

- 1:)

Q)

'" ~

-~

'" ~

0.<

t..Q

J]. Q) C

E

. C

u:5 ~

~

~

.r:: -~

Q

) Q

)Q

) ;:,

.E

>'"

~Q

)E

c-~

Q)

0 -.r::

:5 2!.

£-

'" - >

C

Q

) '"

E

Q)

0 Q

) .r::

~

C

- .-

-0 5

Q) o.E8 '.

.Q

:5 1:);:'

~!Ii

C .Q

! :5

-0 0.

0 -~

§

£ §

~

.v ~

~

-

C", 01

'" - Q) -

- to

--w

'"

SQ

)-U'"

-~

"'""v 0

Q)

C

C

C

~

C0

~

- ~

O

-N

o.r::-C

=

- .r::

'"0

00

0-.

~

-- ~

~

'U_-

u'V0

-'"

- .- --

C..

a. Q

) - >

. - -

'" 01 ~

;:, C

-.-

-- --

- <

Q

) ~

'v

01 '" '"

Q) C

Q

) =

C

- Q

) .",-

0 0

I- U

u

u ,Q

u

~

~

_0

' ~

,,"'.r::

~o

"'.- -

C/)

CC

-C

~

'" -

'" Q

) ~

~

-

0 1:)

Q)

-- -

- -

='

C

U

UE

"'-~""6"'c

C.D

c -.D

c.r:: ..;E

-!!!

'" '"

w.-;:'

='

C

;:,:5

.;: C

0

Q)

2 -

C

'" -

C

Q)

- 01

=

I- C

-c

1n';:, 1n'

0 Q

)---OI

c"(o~

_!!!o Q

) Q

)~

.r:: Q

) -

~

0 0

.- --

,-I-

Q).r::

E

C

Q)

=

- 'in>

E

o.. -

C

'" .

U

U

. 1:)

_!!! -

1:)

-::;-~O

O

",01- -"'=

-n. -",_o",.r::

""" """

1:)""".

~

Q) ~

C

'" - ~

~

. ~

- '" .0 -

- -

- - -

w

C_O

I- Q

)--~

",;:'.r::o O

I£=c

'"E

.!!! '"

to .~

'"

to.!!! '"

C/)

'" 0

_!: .r::

1:) ~

.r::

U

U -

~ -

-- -'-.r::

-'- .r:: -

---l

Q).r::1:)

-;:,Q)

~u'"

"'Q).r::°

Q)

0 Q

) Q

) -

Q)

Q)

-Q)

Q)

<

Q)g':5u-g

Q)u~

0Q

)§ ~

1:)~

0IQ)

U

.:=

.r:: U

Q

) .r::

U

Q).r::

Uu. - --

C

C

~

C

U

1:) Q

) --

~

Q)

-'" .~

U

C

.~

-

C

U -

C

U -

C-

W- C

~ -

'" 0

'" -T;:'

Q)

U

co.~'"

J:N

0..

", C

Q

) ",

I-Q

) to

..:I-

Q)

toI-

Q)

;:,0

~ -

E.D

C

--

- Q

) - _.

- - ~

-

- -

C Q)

C/) 0

>

...: .0 >

. 'A

'"

-~

Q)

~

0 1-""6

"," .r:: -

C

>

C

C/)

C

0.""Q)

C/)

C

0. C

/) C

-lU>

Q)

- ~

- -;:,0.

- .o--C

Q

) O

OlW

Q

) Q

)-w

Q)

Q)W

Q

);:,

<t

C

Q) - E

C

B

'16 0. ~

C

U

a:

E'"

C

Q)

'" z ~

-in I-

'" Z

a:

~ I-

'" Z

a: I-

'" Z

O"u.

Q);:,.!Y

. 00_-

-""E

Q)Q

)U'"

0 =

0'" Q

)W

Q)W

Q

)W

Q)W

3: - Q)

C

,~

.:= 1:)

Q)

Eo. W

Q)

1:) '"

0 _!:

(!) ~

0

C

~

.r:: J: "iU

"" ":ii.r::

J: "iU

"" ":ii.r::

J: "iU

""":ii .r:: J:

CC

>~

OO

lQ)Q

)~

C

/)~

>."""

-l -~

oQ)

-I- ~

~

-I-

~

~

-I- ~

~-I-

oQ»C

_c Q

)-l'" 1:)

Q)~

<

t 'v.,:;._>

u.

u. u.

u.U

1:)~O

~

C'"

~<

Q)

",cuo 1-Q

)g]Q)

- -

- -

2!.~~

uE":5Q

)§ "'u.~

~

~~

c ~

:)rou

~

~

~

>--Q

)Q)~

2~~

~

~"'c

"(O~

cQ)

(!) o..Q

)c~

'=-

'=-

'=-

'=-

-g c

C

'" 1:)

~

- ~

~ 'in

-in 1:)

Q)

~

z ~

<

:5 8 u.

","'~~

c~2=

Q

)='"

~J]."'Q

) 0(

Wro~

",tO-coJ].~

:=

:=

"'-co-!J~

~

,..:(\j M

:).r:: =

'o0.0.Q)

.r::-Ea:-

",-.!.Ec

Q)"'O

- .r::o",O

Q)

>"'-

1-0 ",.r::=

UO

I >

.r::'"

--

Page 11: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

o.C

Q) ,-

(;j-g - '"

:i:"'~~ ~gj

I->-.c:=

C~

--Q)

Q)

:Jo. --

Q)I

a:Q)

C ,~

.c:

Q) 0 ~

, -

,I-

"0 '."

0. 0

I/)

"6~"'Q) 1/)0.

~O)- -

E'

0 Q)

I/) U

aJ.c:cc Q)

- '" ,-

"0 ~C

I/) I/)

c '"

:1~oQ) "'0.

8:1c!!! .,

~~0.

Q)

I/) -

Q)-

(;j",~E

. >

~

o(;j ~

Q

) E

u '"

'" -f'Eo.

.c:.c:, Q)

-~ u.c:c

Q). '"

, Q):1

uo

:5'aJ~ll~ cJi

~ I/)Cc

-Q) -

. -"'-

(;j c

:5 .c:

~ c

C\I I/)

.c Q)

,~ 5

'Qj Q)

.c: Q)

"0 ~,

u

Q)uc.c:E I/)

E c

CQ)E.

~ I/)-Q)

Q):1 '"

Q)~o.

"'(;j,-c)3~ "Q.

~ ~

E-~ >

~~~ ,0.

E '"

!!1 5IP."O

!: :1-

c~- "'""to

~ -c

0 .

"OQ)2?I/)I/))( ~

2? ~,!Q'"

~

~

t Q

) .c: c

,- Q

) W

Q

) I/)

E

I/)

::;: ,

~

06 II

I/) ~

~ 5J -g ~

Q

) ~

aJ

P. ~

'iij0

' ,

~

>

III/)

c:,-

0. Lt)

Q) 'L:

Q)

E

;:;: '"

Q) 0.

Q)

- a>

1/).c::1

0 0

'" ""~

- Z

g

II!Q

c: a>

"0

>

:c aJ - .D :5

(/) -

':=

Q) ,!Q

~

~

a>

c: a>

"0

.?: ~

U

- 0."=

Q

) >

- ~

~

"8.c:-a;

- f::3

E "0

,?: C

t) Q)

"6 '"

cJi .D

.D I

I E

I- -

-' a>

'C

t)

'" a>

t

C

~.c:Q

)c"O

!:: I-

..-:.'" ~

I/)

~

~

'" a>

~

C

CO

.D

U

I/) '"

Q)

a: .. oc

u _

0'5

,~ ...

C ~

C U)

~ Q)u"O

OE

~"Q. I-

~ '-'

+ ~

I >

C U)

0 ,-

U Lt)

E .c:

~ c

Q) 0

C '"

:1 :I:

-- U)

0 .-

U aJ

C "OoEQ):1

o

E0

- U)o."O

~ c

,!Q c:

.!Q c:

': U

aJ c

- '(ij,

c ~

a> t)

e -J

:1 -J

Q) Q)

Q)

g: '~

~ ~

~ ~

{3 '~

. ~

'~

a.: ~

E

g, ~

a: ~ ~

~

~ ~

6

~

~.g

(;j ~

-

~~

.: ~~

~

~g, ~

~

~

-5z ~

ti; "ij)~

..;"5.!Q

~ ~

~

~

~

~

.~~

~"'..91.c:-.c:

.c:1- uz

I-(/) -w

~

::iQ)"'aJ

~-

~

~

m

-Qo.

.c:"5zuZU

ZI-(/)

'iUw

~

P

.I =

=-i:§::

Q):JL:.2:-t)

>~

t>

~ U)t)E

U -W'iUw

.c:I~:=-I-- (;j

:10.", >a>

> t'iU"""

~'iU~P.I:5~Si:§:: -I-

'=-- ~

-~.D~~.2:-~ ~~u

0) :5Q)~

a>:5I--1- ~

"'~!Q"O.c: o.c

.~ ~~

~~ >Q)

u. u.

~ "Q)'"

:5u~

Q)

_u 9-0

'NM

.2:- 2? 0

$2? -

- ~

-

-"'", '"U

~

,

0. '"

a: ~

U

~

~

wu",

U)

0. zP

.-

0-;0 e:.

- Q

):J~~

~

'Q)

~u.~

U)-J"'Q).c: -J

.D~.c:.c:~ .

0> u-

Lt)

Q)

Q)

Q)

0-

U0)"0

.c:- c

CQ

)I/) -I/)

a>,-

C"O

>

- 0 -

Q)-c 0.

c

.DE

", .D

o. Q

)Q

)aJ~

"00 I/)

U-

tQ)Q)

'"

CQ

) "O

.c:- -

Q)"O

U) c-

0C

E

Q) ,-

:1 - Q

)Q)

Q) .D

, 9

"'0> Q)

. ~

Q)

- ,-~

. "'"'>

~E t)

>

- a>

'" .-

'." I/)

- Q)

'."

U ~

-:5u '"

C U

a> :1

0 Q)

U)

a>C

Q

) .c:

U)

§C

C

,-

0 C

-

(;j §"'c

'iU~

U

C

Q

) =

:;:;U

o .c:u

C

.D,

~

0 ~

U

-

Q)

,- 8

~

~:5

,0. C

OC

Q

)c,,-:,~

C

P.

:1 ~

.8 0..

U

C

a> I

'(ij >

§

Lt) aJ

'(ij"0

-g (;j.

C O'e'(ij

:5-'E UUaJ~

t) E

Q) U

a>o.. 0

I-OE .!Q""

Q)~o.::: ~

0

:g e.c:OO)

'~(/)'iUa> ~§~

2"'""" '"

C '"

0. -I-

C E"O

.c: ~,-

0 E.c:.c:

.c: "'

C C(/)

'L: OC~-

U) I,~,,=

U u~

U '"

"' .-

,- ~ - '"CQ)1-"0 - '"

Q).c:

'" '"

0)"0:1 '"

- -

,- >

- C

'" a>

Q) "0

~

E

.f~

8 ~

:'2gg- ~

~

8§ :5"65J.§

§ -g

I'iU

Q) .~,

0 ""tOQ)-

Q) ",;e

",c~o W

>- '"

"'

.c: .c:

"'"0 Q

) a>

>

~

"' C

0

"0 ,-

0' -

>

E

U

.- -

- E

,;; U

~c"'-

)(C

:;;Joc

Q):;:;E

."O

- 0

'- EQ)

~ C

Q),"

C '-..

0 0

O:1Q) I-

> -0

.- ,-

~ >

Q) U)

- ~

a> "

. U

U C

E"'

" -

0

I:;:;

'" 0.

- -C

U)C

(/)c

c:1 0

- U

~ 0.

~ a>

,= E

C .!Q

Q) =

C .

0 '"

2? Q)

0 w",

'" U)

Q)

N ~

.c: U(;j

~Q) Q)

-E.c:~ .- au", c:5-~ Z (;j",

,- C

Cl.

U

'" ~

E"'

.c::1 - -

'" Z

,-

Q)

.D

Z

'-.- ~

C

~ ~ :1 (;j X ~:1 '" _.8

~.8.c:

~

~

§ Q

) "'

I/) ~ C

0

~

Q)

2? 8

U) a>

=~ Q)

~,~ ~E'g

"'~-~ u.

0 g

U

U

(;j ~

c "'~

>

c,

§~

-OQ

) '-"'I/)Q

) .

~

U

Q)

~

,~

'" -Q

).c:' p.

01- "0

ouEooO

Eo~

Z

C

Q

) E

'"

"',-

E:5

UI-

- U

):J~~

"""Q

)Q)Q

)I/)E-5

;( 2?

U

Q)'"5

Eo..

ci ~

,g P.

~ ~

g

g ~ g g g- c ~

~ .~

:cl-- ~ ~

~

~

$ ~

g, (;j

~ ~

(/)II

-I- :JQ)~

-0 Q)U

Co W

I/) C

.c:1- =zl-

aJ -'

,~"O 0

~ "'Q)

2?

0Eo.",

:;:; c-.

C Q)

',- ~

a: '"

a> Z

I-(/)

'- W

c:

0.Q)Q

) C

-t C

a>

cu>

-cC:1/)

~

"'w

a>:I:~

~-

~ E

'Q) g ,!Q

o.g 5J Z

U

) ~

:; § ~ 8 '6 51 ~ g'

5 ~

~

:I: -;0 D

:5 I- .!. e:.

~ "Q)

~ Q)

Z 0.

a> ~

Q) :I:

5J :iJf

- ~

U ~

"6 '§

W 0..

- I-

- -

~

Z

U

'" (:)

~

aJ ~

E

:5

I- :5

I- :1

"0 ~

~

,S

E

C

.Q

U

Z

~

,

~

w

==

-,=:51-

a>

zu.

~

"""'C-

O"'Q)

00 o

a:-,

'" :I:

==- '=--

~ -

Q) -

'" E

~ '." -

C\I

I- - u. "'w ~

"OC.c:Q) 0.0

a> 0..

~

- C:I: '@' .D ,-

0 U

.c: a>

C .c:

~ "'I- - ~ a>

""Q)-.c:~

Q)1-

U

C '"

E~

I- .,

- u.

00)

0 Q

).c:-

Q)

- s: -

".

C '" C

Q

) - ,!Q

C\I

C 0

"" 0

'" ,-

Page 12: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

IIIIIIIIII ~IIIIIIIII->

- lQ

)~Q

)Q)"'.c'

Q)

E- :5

c C

OU

lUl-U

OC

C

.8'"

,- 0

~

0 0

:5 ,- - 0

:5 '"

,

.c Q

) .c.c .c

-J ,-

0) '"

O-"'.c~

~O

~«U

lOQ

) ,Q

)C

-0)"'-0;

C>

"'O)"'Q

) c

U0

E

C a: .c .P

. "0 ~ ,-

a: "(ij C

Q

) ~!!?

Q)'oO

~-fij~

o~E

O~

'" E

c:J

.c"O~

~

C.c~

Q)",

:JQ

)u

- r-Q

)-- ",_r-=

,- 0)

U

- ~

~

C

.c C

Q

) '.,

« '"

~

~

UI

0 g .,Q

..J '-E'5

Q) :5 "=

0 a: -

:I:~ '"

,~~

::J

~E

,O

)WU

I -

Q)

E~

inE

UO

i-~1O

~"(ijz:ct:

.c 0

C

c.c-J-O;"'~

'.co w

-a: --

Q)

R'c«"O

Q)"'-:;::Q

)f!)IIiO

0 '"

c ~

oU

- C

\i"'.c ~

f!) -

Q)

Q)

.9.2'w.9~

1.~~

f-w2!.-J

.P.:5

UI

~

'" ::J Q) ~

- "0 '",

ffi ~ «

.0 -g

0 C

-J :c Q

) ,S

~

Q

) W « E

(/) .Ig

0.c

'" «

'" 0)

~

.c (/) f-

0;"

- .c>

- ~

..- ,

'-' ~

u~

-g

g' ~

0

.c .9 ,S

§

Q) ;i

:I: U

z '5

'"-

'" ~

'"

:I: '5 ~

to 'in ,S

u. f- 0

« :=

Q

)0

. >

O

)f- ~

~

~

:J

E::J

- :>

..:

'" ~o

~

- 0

::J-~~

-

a::>

c~

U

I.cQ)

'" U

~C

.c,,-

~-

>=

",:>

a: ~

gc2!.Of-O

)~:2

In 0

UI

""'" >

- :>

f-Q)-

OQ

)-

:JQ)-

.. ,,-

CI

.c.. -

.u'" "'C

OO

)'" -

>0

U

IU

'" 'C

UI

Q)U

"O:JO

C~

>

In >

"0 E

z '"

EQ

) X

0

:J Q

) U

"O

- '"

.- 0

Q)

:JII)

<

Q):C

.P

. 0

Oi

C

C

.9 g

!!! Q

) -

g' U

"'Q)

'3 ""5

~

U)

- C

-ci E

.lgo.~

-.c2!."'"Oo"iijc~

'c ~

.oo-u

~

0=

~

.cE",~

",c",Q)U

U~

:J,- )(

c~

Q)

In m

~

'" (/)

-OU

O"'3!Q

)"O

.cuO-E

W

Q

) .c

<

:J >

2

U

.c .c

Q)

~

Q)

Q)

U

:E

0) ~

,~

~

-

I- "

8 ,S

::: ~ ,~

"0 :2 ~

E

~ :5 :c Q

) ,S

2!.

0) '"

,S

;!; -5

o~

oo~~

>-E

~c

-!..P.~

~

~U

I U

I

5 C

"'-

>.c»Q

)°o.o"O

-e~

C~

Q

)~

'"

Q)C

>

~~

0-"10 :;::ca:.cO

)o Q

)O:J

I- ~

U

Q

) ,~

Q

) a: ~

Q

) Q

) '"

'" w

~

>

- -

E

~

"(ij.0

cE

>=

0 .cQ

):5E

z ,.oQ

) :J>

->-

Q):J

~"'f-C

f-:5 ~

W-U

l~~

O

)c.c!!?

cO)

",E_~

,~

o.,Q::J~

:C"O

~

~E"'-

,- Q

) ~

~

"0 0 -

c a: - c

~

:J-

UI

'" .c

0 a:

- =

-

Q)

,- a:

'" '"

Q)

Q)

:=

'0 1.

uQ)

,~cw

Q)"'Q

)~Q

)f-~Q

).cg .c~

Q

)-

- ,-.c

>

.z~>

~"'.c

o-~

-°.c.c

c E

- cQ

)W

","'",-Q)w

"Ooo.

o.c-g

0 m

«« «.9~

"'g'gf!)~

=~

Ec~~

Ooo'5c

.c2!.2!.'"

I ~

I

""A

Q)

WQ

)cE

'>- >

-Q)o,~

u"""

~

-.: .,

- ~

Q):J

f- ~

- U

'" - -.0

0 ~

=Q

).oc-J:J

E:J-

OO

Ul_:JQ

),- Q

)(/)(/)~

c-

~Q

)m"O

-

CiQ

)o"OO

):t:Q

) -

- -

0 Q

)UI«Q

):JOU

U

I_Q)

Q)

~~

~

>

0) f-

_ 0.~

~

U

e'

U

~

Q)

'E- ::;! U

~Q

),p

'" .0

>

C

Q)(/)

",r-o _.,-

0"0 ~

~~

~

« ':;

m

U

W

'" - i ~

'"

'" 0

.0 ~

>

~

'5. 0 ,

0 I

c ,S

f-

-5 a f- 0. S

oEE

.Ig 0. Z

0. '" E

«

c :;::

c U

I. U

lQ)::J""..!..c

'=::"'~

- c

Q)

_UI

-""5a:

~-.!..c_Q

»-""c"O

:J 0

.c :J-

.c _O

-O):J

~-"'c

m

U

f- m

,!g f-E

f-oc.P.'.,:=

:5cou'"

0 c

.9 c

~c

Q)

0~

~

.c:J

'" U

I-

UI

Q)

Q) ,-

~

Oic

Q)

.cQ)

.c -Q

)E

-

:J

Q)

UO

):>

c

~:>

C

/5 '"

iii '

Q)

- "O

.c"~

'p'-.

'="

- iij~

;;;-.c -u

., -

'"0.

0 "'-

Q).o

"'UI

- c

.cQ)

'" 0

-.c>

0.-

>

!!? " E

c0

:J Q

) ,-

C

u"O

~'"

0) U

'in

'" =

co", '"

-0 ,..

>.

Q) -

U

U

Q) '?-

..., -

u:J .c-

~

0.C

o. -'"

UJ

0. -=

.. I-

'" Q

»- -

- 0

"'Q)

N

"- -

c=

:J .c~

- ~

iii

Q)~

«

-0

u ~

in

UlO

6'

>

"'Eu

=

"'0. ~

o~

-

-E

cd f-

°c~

0

'" Z

.c.

- ~

.c Q

) - m

- - ,.. W

U

I UI "

«'" ,-

~

",..., -

-~

'"

Q)"O

o~

,=

- ~

0. Q

)'" W

::J """

- U

I .c -J '"

'?- :5 E

UI

-'-' -~

:J=

Q

)Q)

«a: "'~

0)

";;; ~

~

u.« =

~

~

m

.c L

.c ,~

'in

~

I I

- r-u

.cc

Q)

~(/) ,-

- -

,C

.c _0

=0

w~

" ou

0 --

-" f-

-;: _0

c ~

~

O).c

~

UI-

'" -

() 0

c U

(')

Q) U

I ~

...

"- -

~

>.C

0.

-0. Q

) t

~

m

mQ

)0

-cIS

Q)

Q)

E'"0

- m

'"

tt

- -

0. ~

- .c

"0 ,- «

.c~

W

0..0

'" -Q

)=~

I~

I «

,- -J

'" ~

~

. =

'"0

~

« « ~

- Q

)~'

UI

'" >

"~

I~

"

«« c

« 1Ii.c

S

- U

~

N(,);o=

c

Iou. --

>-

-Q)Q

) Q

)U

_°"i5.

"'0.0 Q

) .c

Q)

"'Q)

0. .c

Eo

~

f-~

~

:5 «

f- --~

Page 13: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

, -"

-

'" u

«Q

) -"'-"

Q)

cr~

'"Q

) .

-(3","0

~

Q)=

Q

)-"co

)(-

>

W~

c

Q) --

C

C>

'"

-2 --

> --

C/)

'" -

~

CC

c U

000

Q)

«Q)

C

>

- E

0

-6>C

/) '"

UQ

) C

) '"

:c ~

-C

OC

O

~-Q

) §

E:5:5

in ..

"'..:;'"

~0

- C

)-->

~

- -

~

~~

E~

-I-

-- U

-o~

coC

O-

-~

C

Q)

>0

ON

0

~Q

)c

~- ~

U

~

--'"

-" ~

>

c~

-0

0 Q

)=

C

C

.9"0Z

Eco

00

=

>

--a:

CO

... «

g> C

-in C

') ~

C

') >

N

U)

~--

.2 ~

~ooo

- U

~

o~o~

oooE-

0",

- W

- 0

g E

~

0

~

~

c - - ~

I- --

-' "0

0~

0

~

«-In

C"O

~

U

~

a:c

« co=

u

~

Q)

I- -"C

O

WE

:I: .!.

>

Z

'"

F

-"- W

C)

=>

C

)c" (!)~

~

-;:: Q

) 0

'" '"

'" N

C

O

C)E

", -

- -

- W

-"C

"'O

)E

_~

o~oE

oo~

~

E

--~o~

-~-

E

~~

- -JU

-- C

) ~

~

~

~

~

C

O~

~

~.c

~

~

~

~

"'Q)

« oco

o~

~

~

~

«

- I-~

~~

~~

I ~

~~

00)-

,0)C

DU

UC

Dt

CD

UU

~

-:5~

I:5C

D

O)"'~

I-Q

)ttttC

Dttt>

« :5-0~

-

~

~

:Jj«C

D« «

I ««C

D «

I Q

):;:-~ -

- -

- a:

~

~

~

~

~

~

~

~

~

CD

_S

~

~

E

0 ~

0

~

- E

~

0

~

0 E

0

- 0

0 ~

0

~

0 E

0

~

~

I- $

E(,j'"

~

~

~

~

>.co

.. .

CO

C

'i' ~

~

~

~

""5..~

01 0

- N

)(00'

. 0."0

- -

- W

:;:;~-

N

M

v «.s

aj cj

«Xi

IIC

')..N"0CCO

<5"0CC

O

cD<"uiQ)

UCQ)

-0 C

~

Q)

.0 ~

'"

~

~

.~

:I: E

0 .9

- C

O~

- ~

mg

£ o-o-o~

o-"'.-

>Q

)-c;;U

--

- Q

)"O

~

::=:

~6

CQ

) -

U

~

I Q

)Q)

~

CD

::=:

/ C

6 ro~

~

oo~

~oo~

- t

U

>

~~

/ "';

>

iD'

C

<"

6~~

~

C

DiD

' ~

~~

~

ro t

c;'iD'/

I ~

C

iD'U

;'t

'OC

D..tC

~~

«

>u~

~

CD

>

tt t~

«ucc t~

! ..;

-Q.

Q)~

.!...I ..Q)"-§,~

<

:" oooO

~-~

-~I

CDI«

u/C«~

~U

«CD

«c«1

11II"C

DU

IE

~

wt:.

'>

~~

~~

... ...~

~~

~

~

~~

~

~

(1! "'~

~

at ~

.!2-:9. -

N

M

of Lri

cD

~

«Xi

Page 14: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

ri*-,

, O

IcuiQ)c"tijQ

) c"O

:i!:o~~

(5

~

ai ai

011 -'

:J Q

) a: .S

Q

) .- I.)

0 O

-.D

::::- ~ C

Q

) I.)

I.) ~

.~

cn 0-

Q)

>

~

- c

.- .-

-O

.D

cn --

cn:=

c~""

>~

"'Q)U

l.)cn 1Ii-Q

)E

- C

C

I.)

I.)c-

.-1"" -

o:J.cccc:J >

-cnt: .c

0 '"

Q)

Q)

@.cccnU

)'5I.)-I

Q):J;::E

"'Q):JQ

)OI."'I.)C

C

c .~

'"

:c Q

-

Q)

- cn.f:"

0- Q

) t:

.D

I.) E

.E

g Q

) §

§0

o_w

Q)£~

",o~~

"'c~

~Q

):J

:s: I.)

I.)I.)

Q)

- -

W

.c ~- -

I.) -:J

01 '"

.~

- -

c c

- £

>- 0 ()

- ~

2:.

'5 '"

Q) "0

.S

I.) - '"

~

~

Q)

ci>.:O

':O'"

~

-()

cn .- I.)

Q)

~

cn -.c

.. :J

E'u

'u.c

c iii

Q).c

Q)

'" c

0- -:

C

I.) -

~

.c -

Q)

0-O

.SE

E-

~

~

I.) ::)

0-0

C

'" .-

0 cn .-

01E

~°u

""c .:"

.-ccn~

c"';::Q)

'5 cn

7n Q

) Q

).:

>

'" c

'" U

) c:J

7n -

0 0

- 0-

.- 9-"0

:c ""

0 -.c

.c

'" -

Q)B

t-0

CT

:=:J-""W

", "O

-C"'C

-

I.) '"

- ::

0-"0 cn

n Q

)0-

.->

Q)

cn - -

.c:J

-0

'C

cn ~

.-

~c

"0"0 -

:='u~

Q)

~

Eo

.~

'" g'

.~

~Q)

~

~

~

.@ ~

2 co

i=

"E

(5 Q

) ~

~

.~

.OI

E- 7nc

0 ~

.E

- .-

c W

...

~E

- '"

().-

- .c

Q)

01 ~

Q)

-"" .-

>

C

I 'u

Q)

I.) £

cn - - '"

0 -

- .gI

"'I:J ~

Q)~

41

t-Q)m

~"'W

Q

) -Q

) >

- "0

I.) ~

Q

) ~

.9 t-

~

I m

~

E

~ £ £

~ c ~

-g

.D g ~

~ ~

~

.9.§,

£ £

>

~

Q)

C £

~

~

0 ~

~ .D

.Q 0

~

~ 0

.E

.c m

01 "0

cn.9 0

!:: I

"O.c

a:.c 0

Co

(!J 0

.:0 ~

m ()

ai 0

-J cn

0 ~

.S

Q

)Q

)C

Q

) -

0~

C-

01.)'

E-J-'U

.' 'I.)

>~

Q)

_r- ~

0

I.)Q

)r-

-.A

cn 0-

:J 01

ZC

>

~

.n -

C

'"I.)

.-

- '."0

",:J u"

'Q)

. C

E-

u.. cn

C

C~

a:

7n C

~

cn :::!

-:.9 7n E

C

~

2 t-

~

'" '"

5j ~

'" ~

~

2

C

5j .Q

>

0 :=

'"

~

- ~

41 rp

"0:=

- '"

~

C U

) .@ [l.

C .-

a: -

Q)

C .Q

- U

(!J 01

cnu. ...

(!JQ)Q

)c ~

Q)W

U

) C

cn

'" C

Q

)_cc~

-J ~

S

rp.~

t- ~

Z

m

£ .g .2

~

cn t- 2:

~ c ~

-g .

'5 :2

'" cn g

g?, .20-

~

~

-.c (!J

9- [l. C

o ~

~

~

I.)

E

:J C

t! ~ .~

cn

.~

C

'" t-

@-

:J >

-'. Q

) .2 Q

) -~

U

) U

) Q

) g z

7n ~

E:s:

I.) .E

§ .9 "0 .s

:J - '"

5j 8 t-

Z

.-. 0

(Ii =

u. £ -

£ Z

UJ

- £'"

~:=

w

0 Q

)Q)-"'~

Q)"O

:f:..c>

U)::)W

I.)

~~

"'u.Q

)ZQ

)W~

~

C

B

:s: Q

) t-

() '5:j

.D

-g (5

~ e .~

~ --

g § ~ ~

8 ?: .E

~

~

~ 0 g ~

g ~I-

~o~

cn£t-

~

E7nE

-Q

)O-l.)ecncnl.)e-J

t- .9

- :=

'CQ

)t-Q)I

:s: cn ~

Q

) = ~

0

Q):J

~

I.) cn ~

0- ~ ui

Q)

0- C

a:

() '"

ui g'

~

.Q

c u.

c (!J

i!: Q

).-:=

'" ~

-

- E

Q

) :J

C

:c C

Q

) '"

- .D

0

.- "0

W

cn 01.-

Q) m

Q) W

Q

) -::)

>- ~

cn

0- Q

) In

O-.D

"0

Q) -

0 .c

:J.~"O

cn "0

C Z

.-

.s ~

U

'" cn -J

cn a:~

-_c 0-'5.c

C EOI

Q)C- -

---Q)"'Z Q)

~o ",,-,

I- &

g 8 '"

0 .~

0.-

.s ~ I.)

Q)

"tij I.)

.. g' Q

) 5 '"

(5 t- 0 I.)

7n =

~

W

:J Q

) :J Q

)

'" C

om

cn Q) , .

"+:.9

£ "tij e cn I.) .§ .~

~ .§ ~

.E

7n Z

()

5j _0

.EP

.t:@

-£@-£

C-

.c-

.cQ

InQ

)-0-

Q)-

'u'"

01::)'-

..Q

)I.)

~.-

.-.9

8Q

»-E

.§.~

~

gI.. 5 Eo

~

'" £

g, E

9-.~

5j

t;j .E

~

0 ~

5j.

g .§

"tij § £

7n .E

~

~ ~

~E

o-"" ...

~E

~E

Q)

7nE

01- -

'u () ~

cn C

.-

- c.-

~

- -

-'"

.S

'" '"

cn>

CI

01 cn

-0 Q

) .c

:=

- -J

- cn

-J ~

-

0 u

I.) .Q

m

E;;:

u. E

=

E

=

~

",.c ~

"O"O

~

0

- cn

C

.c -

Eo-a:.

Q)

~

:J .'"

C

C

- -

~

Q)

u. 0

'" 0

'"

01 E '5

8' ~

5j ~

cn

D.. '§

cow

~

Q)

:f:. '" ~

"0 §

I.) ~ ~

0-

'" .~

.~

'0 5..g

.c 0 -=

I.)

-=

I.)0

C~

.-

0 I.)

.c >

C

-

~I.)

C.-

C

~

C

01 '"

C

C

.-Q

)-

'"Q

)-Q

)-~

-

t- u. .-

Q)

.- 01

- Q

) - ~

.-

Q) .,

0 0

C

,-,.c.c0- ~

==

0-

C

:i!:o Z

'"

..~

U) ~

c E

7n e ~

'" ~

- .g

"0 Q

) C

'0 I.)

I.) '"

0- ~

W m

.gI m .gI

'" I.~

'"

~

fJ W

'0 ~ ~

. ~

.Q 2 2

0- '"

t;j ~

5j fa ~

£

'" '"

'" '"

E.9

0 ?:

Q5 E

Q

5 EQ

)Q

)E

~0

~

~

.- -I.)

Q)

0-

.c -

.- cn

>0

- -

- -

-Q

)E

C

C

- :J

~:J

~

C .-

[l. I.) E

cn -

-J cn ~

- - - - -

cn Q

) .~

Q) Q

) Q) Q

).;::

-g 0

:$: e'

E

::) gI

m

-"- $

~

§ "0 -

0 ~

-J C

~

0 0-

£ ~

a: £

(!J :s:

(!J :s:

:s: '" c

>

'" :J

(!J ~

Q

5 ~

cn

2 .(ij".9

~

E

01--:- 8

'" ~ :f:.

(5 ~

.

-' -)

"O:2~

:f:.~'O

~§,E

~1iJ~

EQ

)t- ~

I >

011 A

u.Q)

~

C\i

MQ

) ~

Q) -

"0 '"

~

.in 01:=

~

~ ~

g

.co~(5c~

~Q

) ~

cnco.c D

..t-1.)"'-"'O

_"O

-"':J.c-

Q)

Q)

,.ccn.~

Q

)O~

>-Q

)Q)

~E

O-

-Q)C

O

.c-Q)""a5.c.c

'" '"

:J-"O-

-~

"O_--

0~

.,

.- ~

.-

- .c

I.)C

- .-

cn ~

- cn 'u

-0

-E

:JQ)

-oc.-cn_.~

Q)

'u

Q)Q

)-"O

"'~"O

Q).c

.D~

.c~I.)Q

) c.c8Q

)ocn ~

-iii

~-O

-cQ)

.-1.) E

"OQ

) .cQ

).c

- 0

-.: 0

Q)

OIl.)

0 -

I.) C

"0

'u Q

) E

-

01 C

.-

I.)Q

) 0

"0 ui

.p. Q

) >

.-

:;: .-

E

5j C

N

~

C

C

;;:: "0

Q)

C -

~

('. E

cn -

~.-

Q)

Q)

>

Q).

"0 ~

-

C

.D

cn.o"'E

-c>.c"O

:J 0

Q)

cnQ)

Q)

Ecn :J

~

.- 0

- :=

"0 .c

-Q)

:=

cn -

.c Q

) - .-

E .c

"0 '"

Q)

- -

0_:JcnO

-",

-c>1.)

Q)"O

.cl.)

~

- C

.-E

I.) Q

) x

.E

'" .S

e E

0

gI.E

Q)

.c"'Q)

Q)

"O

~Q

)OIcn

Q)

O-:;:

~o

.0.c

C

.- Q

) cn..

"0 -E

--~-

-cE

~.D

Q)

.- -

C'"

0- 'u a:

Q)

.='

.c C

:J

cn~

cn W

Q

)",o£ -

Q)

"'- C

:J~Q

)~

£»- -

0 E

~

o=

.c

oZ

>

-- -

Q)

~E

Q)--

->-

.cc- :J

-Q)

-o.S~

~

c-"-'5Q)m

~

e'

Q).D

:J

a: C

cn .S

a:

0 M

:-

E

Q)

01 '"

£ E

.5

ai0

.Q

Q)

"0 W

"0

~

'0 :J

0 $

01 Q

):J X

~

t--I.)

I.)Q)

t-c- 01"0

C

C

OIC

"'$

C

~W

- cn >

~

-

-.- ~

E""C

Q):J

'U~

>"'.-

'u ~

",Q

) -

a::J-cn Q

~"O

eQ)-

~

0 -.c

Q).c

-0 W

- C

'"

N

:=

- .c -

'" =

~

-

.c.gI~

z"'g?,Q

) ~

0-"'~-1Ii

cn.E

0Q5

-E~

~

w

cnl.)E

cncncncn -Q

)~;;:cnO

- '0

Q)

.c"O

01N

Q

. (!J

- Q

) Q) Q

) Q)

Q

7n .- Q

) ~.9.

.c 01 .in

.s ~

- «

-cE

.P.

1.)1.)1.)1.) -;

Q).c

0 cncn"O

-

Cc

~I

:r W

.D

C

C

C

C

~

-

.D -

C

.- 'u

() -JQ

)E~

'" 2222

~>oo:i!:o-V

;"O~

"'.9 §8

"5CaJ

- C

CC

C

t-c_Cl.)cn

~

:J I.)

a:

~:Ju.c

Q)Q

)Q)Q

) Z

"'-o._"'OQ

)I~

. 1.)0.;

"tijOt-

e' C

'5 cn cn cn cn

'=:: 0-

5j C

,,=,

D.. 01

t-:2 "tij.S

: I.) (!J

, '" ~

:-

.~

.~

.~.~

~

cn E

'C

ij Q

) ;g Q

) $

-"tij ~

:z:

~-J

~c'O

Q)

EE

EE

-~

:J;:g?,~£~

a:~

~

0-:-.E

~::)"'_£..0000

QQ

)e":: C

cn>

0.- Q

~

-c

"'u),..~

o-Q)m

mm

m

-J:C",cn.9'-_"O

(!JQ

)~

~

() ~

Q)"5-

~

., ~

0

>

~.:

- '"

'" -J

~

~

~

~t

:JE

(!Jt-2Q

)Q)"'N

MM

lf>

>$:f:.'::~

~Q

)Q)

~"'Q

~

aJ aJ

tUi

E

Ez

- .D

N.c

- -

- -

-",0:J0-.c.c >

()011

I~

() ~

:J 0""

0.9 E

.;ft

- cn

cn cn

cnE

£ ~

.c ~

0-

Q) -

rp I.)

~I

~?~

w~

tW

? ~

?~w

1 0

e' -

:s: nn

.. '"

Q)

Q)

Q)

Q)

:J ~

-

- ~

'"

.- ()

W

Q

~()

W...""

- -

-- "0

:J Q).c

cn cn cn cn .c

~

Q) Q

).~

:J "0 Q

) ,-,.c

~

~

~

>t

'"t

oll>

'" 'u

'"

"oQ)c.c-.

E-.E-.

E-.E-

.E:::

o~>

£oC(;;

Z~

...t

t»oIIttoll~()

~u.

u. Q

)C

Q)'O

C"O

Q)-cn

0'. ""

'" ~

"'()

~~

I'""'

IcQ

)'"

Q) .c

Q) c

~ ~

~ ~

01 C

.c '"

cn ~

> m

>

-g ~

1Q

WaJ ~

Q

~

Q

Q

Q

1 1 ~

~

~

~

~

.-E

.~

.cE- C

NQ

) - ~

Q)

0- 0-

0- 0-

-;;;.- cn

C

Q)

:J >

.c >

-

~

~

~~

~

~~

~~

01

0

C

~

'u '.

- ~

C

"0

0 'u

~

~

.-

cnQ

)~"5E

MN

~M

Q

)~:::2.-

EQ

)~:S

: :i!:oO

-"O

2'"

Q)m

0- I.):J

.c .--

1.)- .-

..-1.)

Q):C

"O"tijO

l.'.-: -~

Q)"""ox

O-"tij~

C

\i M

~

If>

.9?(5.9?:=

_",C()

~~

NM

~

c-Q)cx~

Q)

~>

0-

U)-",

'" _.D

cn"'Q)O

-C

. .

. .

u.: (!J

IQ

W

Page 15: LOGIC: A COMPUTER APPROACH - University at …rapaport/563S05/schagrinetal85...LOGIC: A COMPUTER APPROACH Morton L. Schagrin State University of New York at Fredonia William J. Rapaport

--

Q)Q

)1n .

~~

Q)o

.3 Q

) u

~

O"£~

cQ

)-_CtI

~-c.c

°CliQ

)::cQ

)lnQ)

InO

UO

)Q

) .-

~

o-oE~

-oa:.9Q)

cWC

tI.c.Q

Z

>

----cO~

~C

tlCca:E

-o~

~O

~Q

)w.9c

-c.O-t-

~

.S>

- g

~-

1nt--o-JQ

'~

Oca:

~

"to-Ctl-o

>

£:i!ii~0

In>'

.

,- Z

>

- t-

°

Z

~_C

tlu)~;;

« ~

-In--

U)

:I:>-.::Jx

LU

t-f-c-'

a:-O-CtllnO

aJ .c

>-~

«O

--CtI

I- -JQ

)~c

i!:" g~

O~

p'::>

<

-EQ

)::~

,n

CtI

.c",I-

".. .c

0 -

~

(.')-cce>Z

In~Q

)CtI

>-In.c-

<C

tlQ)-~

:>

~

In ."

:>

~

,- ~

'-'

-CtlE

o<

oQ)Q

)~t-

Q)

O)~

'U

)

O):;,a.>

-a:

CtI.c>

-CtI

- cln-o

ClnC

tl 'C

~

Q)

EE

~

CtI

-0 .c~

CtI.+

:: 0

- ~

Q)Q

).9Q)O

cE-o~

O~

gEU

)Q)Q

)0-J.c~

C~

_Ctl~

O

u,c~:?:-c)("E

.9E~

!:.'51 C

:-§~

coO

Q

) .-

~

E

c Q

) ~

u

a. In

.Q

CtI

=

:;,~<

E)(

c-o.c

CtI~

O)~

Q)

CtI

.- -

Q)

.- -

- -

.- c

'u

- ca.t-~

-o Q

)y!-Q)C

tllnCtl.:"3c

Q)

0 U

)-c

-o.cln"".c a._~

.--0

. U

~

-J

)( -

C

- =

C

tI -

g'.!. In

.~

Q)

'>.

'.:' -0",

,Q)

- 0

0 ",

E.:

.- .~

~

S

~

L Q

) ~

. InInU

-~

CtlIn-Q

)'uCtl

~

.:g ~

.s

5 :;:

:E

5?, a;

£ -0

'?- :;,

'in -c.

E

In

CtI

t='

2- t-

-;;; <

C

Ii Q

) Q

) "Q) '5 ~

.~ 0 ~

.s

"(ij ~U

) Q

) U

) t--InIn~

a. --",In'E

cc

-U

- -

,n In

00

- :I::

-C

~.-

-J -J

CtI ".. =

.c

-0 - 0

In .c

0 .co Q

)Q

)a:

CtI

-J a:

- >

.c

"3 C

tI C

tI 0

- -

.- -

0) -'-

-c. -'-

.:. .c

~

~

0 .c

E -

In - .E

E

cC

tI c

~

~

CC

tl-OO

)In >

In Q

)CtI(\1

5?,:;,

0::::.(\1 ::::.

Oa.c":>

--O~

Q)~

.c~£C

.c,.

0) ..

t-ln t-

1n'!'(\1-o(\1C~

:>--

Q).~

>-

~

c ;?:

t-zU

) C

tI U

) "(ij

.~.

Q)

t: (\1

(yJ. >

Q

) Q

) -0

.~

~

~

c0

CtI

.(\1 -

- C

-~""(\1~

N

.""",,0~~

-(\1~

-

t-~~

-J1n

-J O

Q)"U

_C~

-o(\1(\1OQ

).ca.E

c ,n .-

0-J

Q)

-J .-

'-' (\1 -

0Q

) - -

0)E

In 0)

~c

~~

~

~

C<

-,u ~

""--:;'-c

.00 -J';;;O

tl:Q

) Z

.

-oOt-In§O

OU

"(ij~<

~~

2.~g

Q)

-J .- -J

0 In

~ :=

: §

CIi

U) ~

'00 In <

~

.c;;:: 'O

""tO"tO

2-

U

-0 cco

(!).cti:

~

uc,.J-c-ot-InIn=-O

Ctl.c'-

cE

00-W

u ~

~

oEQ

)Q)cU

»-Q)

.c(\1.c°~

-I

-oO

:;, ._~

.- "..

.- ~

E(\1-J->

Q

)-

~

~

In ~

Z

.c ~

W

- ~

0

"to Q) .9 .-

. In >

In W

c. =

""

-0 Q

) aJ ~

-

0) ~

U

II 1

Q) ~

+

06 -J::J

~ a;

.c In -0 -0

Q)

"6 -0

Q) E

.Q 'c ~

~~

~

06 aJ

0 e

~ c -

II .c

oi II

~ Z

+

.Q

:g .:;;;

==

6 §

-c.';; ~

~.

~

2. -(\1

:c-

o ~

£

<06

>

a. c8E

~

~~

'Z

~

wt-

uln(\1~~

uE~

-ui'5'-~

.ca.C

') C

l. Q

) ~

<

0 ~

Q

) o=

- ~

a. =

- ;:-U

)z ccu~

Q

)(\1a..c'-o~O

)uQ)

- «

In I~

~

0

In~-=

t="

+1n~

Ot=

"+

t-~

~8co~

ln~lng"tO

-0)""6(\1Q)

:I: Q

) --

-U)

CtI

U):I:O

In

(\1«\1..;- C

tI(\1.cIn~,

Q)""

0 £

II II

II O

)c

.-:, 0

>-

t- -

t- ~

0

-t-

'" "

""6 "(ij

U

t- ~

In

0 ~

~

t- :E

0

>-

~0

. c

- U

) -JZ

.a:

-J '-'

'-' ,-

", ,n

~

~

".c. 0

>-

~

'00 ~

0

~

c -

-J .

. -J

Z

- -J

. U

~

"..

0 ;;::

~

- .

... :c

- -

(\1 ~

~

:;, ~

00 ~

0

-J W

~

, Q

)'if, w

~

a:

Q)

'if, §

Q)

~

a: <

~

-'

p. ~

a;

.E

:;, .2>

In

~~

~o

-0 In~

EQ

)-J>

OQ

).ca.>

OQ

).ca. -,~

17i~-ot-"2In-

"E_°.c:;'Q

)>

c

'E

U

U

c -

0 .c

t- .!.

- .c.!.

- -

~

c U

) ~

=

-

coin -

~-

~

>

0 (\1 C

Q

) c oE

.E

0

t- a:

=-

Z

.~

t- ~

=

- t-z

.~

~ ~

Q

)E

~

CtI.

a: ~

Q

) ~

.cQ) Q

) ~

~

~

.2

§-

~.

.- ~

In

Q)

0 ~

~

~

-

0 ~

~

-

:;, Q

) In

CtI

.c -

0 - 0

0 ~

>

~

~

a.u~~

uw

~t-

OQ

)w

t-t-~Q

) ~

lnoQ)'in-ooo-~

~~

Q)cE

(\1u~

~

Q

)Q)-~

Cz

~U

) .cz

U)U

)o.c Q

)lnC._C

C

--Q).c.-

.:EIn

aJ>

~

:;,.c .c£Q

)Q)2.z

-J~o-z

~~

o- t-~

lnQ)-(\1ln°-oo>

--:?:-O)Q

).P

. 06 ~

~

.:E

.::.

-.c .c

~ 0

a: -J

a: t/,

0 -J

-J -J

t/, ~

"to ~

~

~ ~

~

Q

) §

a; ~

~ .~

.g

'E

~

.a.

06 u.2>

t-t-t-t-InO

---w

o ---w

-J£'3

-00 gu-oc=

:-.c .c""

~

~06

~

eE

~~

z5~zz~

~~

t-zz~~

~t-

a:O)g!:.~

~.~

2.5?,o:~C

tle~.9~

)( 1<

;:::;

a.E

-Ja:~

Q)~

w

~w

Q

)c~~

uU)-c

Q)a.

-a.-o 00

Q)

I::::: Q

) -J

0 0

>

~

:I: S:=

:=

'>

~

:I: S:=

:=

'>

.c Et-

- (\1 -J

(\1 Q

) Q

) .c E

.~

>

- In

C

"3Q

) ~

~

Z

In

~

t- t-

0 0

Q)

~

t- ~

= =

~

t- ~

=

=

:: u

In 00

In £

- Q

) In

~

,- (\1

"Q)

.c

E

LI- Zw~

~

g>

~

~

-J a: a: !:!::

!:!:: 0 ~

~ 0

Q) £

a5 Q

) c

.E

:::: E

- ~

00 In ~

0 LI-

-~

a.a.--O

-~

~.c°-t:£0

(\1t-cCtl~

:;'Q)

In oU

) t-

0) a.

zzQ)Q

) ~

~

c.ca:t--.c~

Q

)!:.c (\1-;;::0-

Q)

(!) ti:

:I: ,E

Q

) -

- -J

-J LI- ~

B

0

Q)

c .,;.

~ "=

In ~

U

U

.co -0

£ In

Q)

.!!! 0

~

Ww

Q

In.c o.c°uo>

-Q)m

c~E

Q)~

Q)£C

tI...(\1

Z.

a: ~

- ~

N(Y

J"ll) Int-In(\1'in-o-u2.ln.

""Q)£c

Q)

", -

. ~

C-

C(\1.-

cU

.c -In>

~

>-

~

In=

u-o Q

)Q)(\1-

'U'-Q

)

~

~

~

.g C

tI .§

p. ""6

.E

5?, £

£ 'in

~

§ £

"" ;-

'i.