否定,論理積,論理和,排他的論理和,等値

プログラマの数学の論理の章を読んでる。否定,論理積,論理和,排他的論理和,等値を知った。真理値表が便利だった。Wikipediaによると

真理値表(しんりちひょう、Truth table)は、論理関数の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。

否定

A \lnot A
true false
false true

論理積

A B A \land B
true true true
true false false
false true false
false false false

論理和

A B A \lor B
true true true
true false true
false true true
false false false

排他的論理和

A B A \oplus B
true true false
true false true
false true true
false false false

等値

A B A=B
true true true
true false false
false true false
false false true

プログラマの数学にはベン図もついてるのでそれも一緒に見ておきたい