~(p V q) -> (p & q)
p | q | p V q | ~(p V q) | p & q | ~(p V q) -> (p & q) |
---|---|---|---|---|---|
T | T | ||||
T | F | ||||
F | T | ||||
F | F |
T
T
T
F
F
F
F
T
T
F
F
F
T
T
T
F
S: (~p & (q V r)) <-> ((p -> q) V (q -> ~p))
p | q | r | ~p | q V r | ~p & (q V r) | p -> q | q -> ~p | (p -> q) V (q -> ~p) | S |
---|---|---|---|---|---|---|---|---|---|
T | T | T | |||||||
T | T | F | |||||||
T | F | T | |||||||
T | F | F | |||||||
F | T | T | |||||||
F | T | F | |||||||
F | F | T | |||||||
F | F | F |
F
F
F
F
T
T
T
T
T
T
T
F
T
T
T
F
F
F
F
F
T
F
T
F
T
T
F
F
T
T
T
T
F
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
F
F
T
T
T
T