~(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