You are on page 1of 3

A

T
T
T
T
F
F
F
F

B
T
T
F
F
T
T
F
F

C
T
F
T
F
T
F
T
F

~A
F
F
F
F
T
T
T
T

~B
F
F
T
T
F
F
T
T

~C
F
T
F
T
F
T
F
T

~(~A ~B) A(AB)


T
T
T
T
T
T
T
T
T
F
T
F
F
F
F
F
no.3,a

no.3,b

~A (~BC) B C
F
T
F
F
F
F
F
F
F
T
F
F
T
F
F
F

AC
T
F
T
F
F
F
F
F

((~A (~BC))(B C))(AC)


T
F
T
F
T
F
T
F
no.3,c

AB
T
T
F
F
F
F
F
F

~AB
F
F
F
F
T
T
F
F

(AB)(((~AB) => A)~B)


T
T
T
T
F
F
T
T
no.3,d

A=>B
T
T
T
T
F
F
T
T

~B=>A
T
T
T
T
T
T
F
F

(A=>B) <=> (~B=>A)


T
T
T
T
F
F
F
F
no.3,e

You might also like