LOGIC PROOF
List
My list
Create
Clone
Info
Login
Simple - B
∨
(A
∧
B)
TRUE
B
∨
(A
∧
B)
B
Truth check table
Case
B
A
B
∨
(A
∧
B)
1
T
T
T
2
T
F
T
3
F
T
F
4
F
F
F
Public:
Yes
;
Show truth table:
Yes
;
Cloned from:
@218
(
A ↓ B = ~(A∨B)
);