Show
that for primitive statements p,q
p
V q(p xor q) ↔ (p^~q)V(~p^q) ↔ ~(p ↔ q)
|
p |
q |
p
V q |
p^~q |
~p^q |
(p^~q)V(~p^q) |
p
→ q
|
q
→ p
|
p↔q
|
~
p↔ q
|
|
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
|
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
|
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
|
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
沒有留言:
張貼留言