A
B
~B
(A
⊃
~B)
(
~B
&
A
)
(A
⊃
~B) v (
~B
&
A
)
T
T
F
F
F
F
T
F
T
T
T
T
F
T
F
T
F
T
F
F
T
T
F
T
Logical status:
contingency