LOGIC PROOF
List
My list
Create
Clone
Info
Login
How to prove (A
∨
~
B), (
~
A
∨
C), (
~
C
→
B) therefore
~
D
∨
C)
TRUE
A
∨
~
B
~
A
∨
C
~
C
→
B
~
D
∨
C
Public:
Yes
,
Show truth table:
No
,
Tags: