| Download
All published worksheets from http://sagenb.org
Project: sagenb.org published worksheets
Views: 168731Image: ubuntu2004
(A v B) ^ A' -> B
Connective is Implication so values must be TRUE -> TRUE or FALSE->FALSE.
A B value
False False False
False True True
True False True
True True True
Confirmed TRUE or TRUE = TRUE
B A value
False False False
False True False
True False True
True True False
Confirmed TRUE and FALSE = TRUE
B value
False True
True True
True
(A | B) & ~A -> B is a Tautology.