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