The and connective is unnecessary in the sense that in a logical expression, the word and can be replaced by the equivalent form ~(~p ∨ ~q). Verify this with truth tables. In a similar way, show that the or connective is unnecessary. Prove your claim by using truth tables.
The stroke connective has the following truth table:
p | q | p\q |
T | T | F |
T | F | T |
F | T | T |
F | F | T |
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.