Professional Documents
Culture Documents
((p ^ q) v r) ↔ ( p v ( q ^ r ) Kontiquensi
p q r p^q (p^r)v r q^r (pv(q^ ((p ^ q) v r) ↔ ( p v
r) (q^r)
B B B B B B B B
B B S B B S B B
B S B S B S B B
B S S S S S B S
S B B S B B B B
S B S S B S S S
S S B S B S S S
S S S S S S S S
B B B B B B B B B S S S
B B B S B B B B S B B B
B B S B B B B B S B B B
B B S S B B B B S B B B
B S B B S B B B B S S S
B S B S S S S B S B B S
B S S B S S B B S B B B
B S S S S B B B S B B B
S B B B S B B B B S S S
S B B S S S S B S S S S
S B S B S S S B S B B S
S B S S S B B B S B B B
S S B B B B B S S B B B
S S B S B S B S S B B B
S S S B B S B S S B B B
S S S S B B B S S B B B
3A. (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19)
B. (8,12,16)
C. (2,3,5,7,11,13,17,19)
D. (10,20,30)
a. a. (A – B) U (D – C)
(1,2,3,4,5,6,7,9,10,11,13,14,15,17,18,19) U (2,3,5,7,10,11,13,17,19,20,30)
=(1,2,3,4,5,6,7,9,10,11,13,14,15,17,18,19,20,30)
b.(AnC)-(BnD)
(2,3,5,7,11,13,17,19) - ({}) =(2,3,5,7,11,13,17,19)
X -
/ c x G
A B ^ F
D E
Preorder = + x / A B C – x ^ D E F G
Inorder = A / x B C + D ^ x – E F G
Poatorder = A B / C x D E ^ F x G - +
b. (A +( B / C)) –(( D *( E ^( F ^ G) + H)
-
+ +
A / x H
B C D ^
E ^
F G
Preorder = - A / B C + x D ^ E ^ G H
Inorder = A + B / C – D x + E ^ F ^ G H
Poatorder = A B C / + D E F G ^ ^ x H +