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