EQV
EQV
| A | B | A EQV B |
| F | F | T |
| F | T | F |
| T | F | F |
| T | T | T |
となります。2つの命題の真偽が一致したときのみ真になることに注意してください。また XOR と真偽が逆転していることにも注意してください。なお式は次の通り。
| F EQV F = T |
| F EQV T = F |
| T EQV F = F |
| T EQV T = T |
|
|
EQV | |||||||||||||||||||
|
EQV
|
２つの命題が equivalent (略して EQV,同値)であるというのも、一つの命題になります。すなわち、「その花は赤い」EQV「その実は甘い」は「その花が赤いこととその実が甘いことは同値だ」という命題と同じです。つまり花が赤くなければ実は甘くなく、花が赤ければ実は甘いのです。真理値表では
となります。2つの命題の真偽が一致したときのみ真になることに注意してください。また XOR と真偽が逆転していることにも注意してください。なお式は次の通り。
|