CS402 Assignment No.

3 Solution Spring 2020

BY: Study Science Solutions.

Question:

Prove with the help of De-Morgan’s law that

L1=FA1

L2 = FA2

L1 L2
Old States New States after reading
a b
z1 -  (1, p1) (2, p1)  z2 (2, p2)  z3
z2  (2, p1) (2, p1)  z2 (3, p2)  z4
z3  (2, p2) (2, p2)  z3 (3, p1)  z5
z4 +  (3, p2) (1, p2)  z6 (2, p1)  z2
z5  (3, p1) (1, p1)  z1 (2, p2)  z3
z6 +  (1, p2) (2, p2)  z3 (2, p1)  z2

L1 L2 = FA
 L1  FA1c
c

 FA2c
L2
c

L1c  L2c
Old States New States after reading
L1c  = FA
a b
z1   (1, p1) (2, p1)  z2 (2, p2)  z3
c
L2
z2 +  (2, p1) (2, p1)  z2 (3, p2)  z4
z3 +  (2, p2) (2, p2)  z3 (3, p1)  z5
z4  (3, p2) (1, p2)  z6 (2, p1)  z2
z5 +  (3, p1) (1, p1)  z1 (2, p2)  z3
z6  (1, p2) (2, p2)  z3 (2, p1)  z2
 L1 c
 L2c c = FA