Ex06_add1 - 201—1-9661 J'I‘U'WU‘T n.71unnn‘7 Nun...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 201—1-9661 J'I‘U'WU‘T n.71unnn‘7 Nun 1771973177] M777? :3 (VI/17] 2002 'a mom: 6 5’17.“ : 71,7»:«1‘7 mmn Wm on man nmwmnn WK .1 , "mm 1: 2m mvmo " (:1 , " 719‘? m: !'m " (x ,” mm mm mun-“n73 ‘75] p1 " (7 , " 3 ~3 p‘mnn 2 " (J (mmmx wan) mm‘nmxu 111m mmn mmoun v: 1an .2 ,(P—>Q)V(P~>-IQ)) (3 :1 ((P—>Q)V(Q —> P)) (N , ((-11) —+ —Q) —> (Q —> P» (7 , (P —+ (Q -+ (P A Q») (1 .nmz m‘vnu mama: 01,7105 A, B ,C ‘1!sz nmnoun 1115va 1mm m mum (I .3 mm mn‘mw myxmz: names A, B ,C was mxnoun mbva unman m mm (H .mwon ,——1(A—>B)<:>Av—.B (:1 ,(A—)B)<:>-1AVB(N .(AA(BVA))<:>A (7 ,(A——>—1A)<:>—1A (a : 1‘7 bipww 1‘77:“111 mum-2315057 .7105 mm ,nvxnn napwoanm “m 535 .4 , -I(P/\Q/\-1R)V(—IPA —IQ/\R)(N -(P—)(Q—kR))V(—'(P—>(R—* Q)))(:1 .735: —. 1 —> :1 mnwuw p109 mm ,nman mmosnn 7m: 53‘? (I .5 .735: fi 1 v 3 wnnwnw .7109 x323 ,uvxnn nvaosnn wnx ‘735 (II ,*1(P/\Q/\*IR)V(—IP/\—IQ/\R)(N (P—>(Q—>R))V(“‘(P—’(R‘+Q)))(3 .av‘mp’wn mm: 1.77m mun 03.71092 mum .6 ," .rmsz mm mm " (x mz , " mm mm: 8‘? m m mm mm mm cm " (3 "n‘vw 331.7 mm 11:11: n‘vw’ x5 rum m 1135:: mm 8‘? mm m: " (J ."n‘m :mn mm“: my n‘nm x‘; m": w; ma" "m ’ ,“2+4=6 m 2+3=6 ux"(xmz .7 "2+3;é6"(n "2+3;é6" 1m .mxzn mwpn mm:an 5w mnbw 1mm .8 .rm‘vw TIJ’N { —u } mwpn nmsmw mt:er .9 201—1-9661 J'I‘L‘J‘IPU‘T T‘IP‘UDI'HW N111] J7 70/7177] 17/7777 :3 may 2002 '2 manna 6 17’1"”? nmb n+2va mum .10 AA(AVC)/\(BVC) <:>(AAB)V(AAC) .mer mx‘vnun www 85‘? (:1 ,nmm nm‘mm mm: (x mm W71 m: 1.77: .nv‘mw m‘wpw 1:11:er m mn BVC .7109 m nm‘flmxm an ~1AVC -1AVB mmobn nu: 1mm .11 .nm‘nmxw (B m nm‘; mmS) S:>B ax 1.71112 .3 = r ,8: {1)/\ q, 12~>(q#+r)} (N .B=q ,S={qunp} (3 1’2 (1 D”? ’3 {1317! .7253 —> WWW Q = C] ,...,( D’JTIWKJJ IT’M‘? W101] S 5m .13 l 1 In .(S rm nmb mm (1,.) 4,. :> S —w 1:) Q mnwmn nnounw 1: (Q -1 P-: n’finn) U rmou 13:1.*14 (((U AQ) —> -1P) —> ((P -> —'Q) —> U)) ,nmbwmxm arm :mxnn mm‘; mnoun nx numb ~73 mp mam amner .15 E1=(XAy)V(fiX/\y)v(~fix/\fiy) (N E2 =(X/\y/\Z)V(X/\y/\—IZ)V(—uxAyA—IZ)V(—1X/\—1y/\Z) (:1 E3 =(xAyAz)v(—.xA—.y) (1 E4 =(—IyAZAt)V(XAZA—Il‘)V(X/\’—IyA—IZ) *(7 ...
View Full Document

This note was uploaded on 01/26/2012 for the course IEM 101.1911.1 taught by Professor Yuliaglushko during the Spring '11 term at Ben-Gurion University.

Page1 / 2

Ex06_add1 - 201—1-9661 J'I‘U'WU‘T n.71unnn‘7 Nun...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online