LOGIC PROOF
List
My list
Create
Clone
Info
Sign in
test
FALSE
A
→
B
B
(A
→
B)
∧
~
A
-2
Truth check table
Case
A
B
A
→
B
(A
→
B)
∧
~
A
1
T
T
T
F
2
T
F
F
F
3
F
T
T
T
4
F
F
T
T
Public:
Yes
;
Show truth table:
Yes
;
Cloned from:
@245
(
test5
);