1.
x
y
z
z
z x
x y
(x y)
(x y) (z x)
F
F
F
T
T
F
T
T
F
F
T
F
F
F
T
T
F
T
F
T
T
T
F
T
F
T
T
F
F
T
F
F
T
F
F
T
T
T
F
T
T
F
T
F
T
T
F
T
T
T
F
T
T
T
F
T
T
T
T
F
T
T
F
T
2.
p : Theuserentersavalidpassword
q : Accessisgranted
r : Theuserhaspaidthesubscrip
1.Foreachofthefollowing,determinewhetheritistrueorfalseandthenproveit(ifitistrue)or
disproveit(ifitisfalse). A
B = cfw_x|xA
xB
a) F orsetsAandB, A
B = (AB)(BA). IsTRUE
A
B :
(AB)(BA)
Definition1.1: A
B = cfw_x|xA
xB
Definition1.2: A
B = (A B) (A B)
D