LOGIC PROOF
List
My list
Create
Clone
Info
Login
A
↓
B; B
↓
C; inference
~
C
∧
~
A
TRUE
A
↓
B
B
↓
C
~
C
∧
~
A
Truth check table
Case
A
B
C
A
↓
B
B
↓
C
~
C
∧
~
A
1
T
T
T
F
F
F
2
T
T
F
F
F
F
3
T
F
T
F
F
F
4
T
F
F
F
T
F
5
F
T
T
F
F
F
6
F
T
F
F
F
T
7
F
F
T
T
F
F
8
F
F
F
T
T
T
Public:
Yes
;
Show truth table:
Yes
;