C
D
~D
(C & ~D)
~C
(~C v D)
~(~C v D)
(C & ~D)
≡
~(~C v D)
T
T
F
F
F
T
F
T
T
F
T
T
F
F
T
T
F
T
F
F
T
T
F
T
F
F
T
F
T
T
F
T
Logical Status:
tautology