(pVr)→q
p r q 真
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
从中看出,为真的赋值:
p r q 真
0 0 0 1
0 0 1 1
0 1 1 1
1 0 1 1
1 1 1 1
(pVr)→q
p r q 真
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
从中看出,为真的赋值:
p r q 真
0 0 0 1
0 0 1 1
0 1 1 1
1 0 1 1
1 1 1 1