真理値表

論理演算の入力と出力の全ての組合せを一覧にした表。AND、OR、NOTなどの論理演算の結果を体系的に示すために用いられる。

2つの命題のうち少なくとも一方が真であれば結果が真となる論理演算。OR演算とも呼ばれ、A+BまたはA∨Bと表記する。両方が偽の場合のみ偽となる。

2つの命題が両方とも真である場合のみ結果が真となる論理演算。AND演算とも呼ばれ、A・BまたはA∧Bと表記する。一方でも偽であれば偽となる。

命題の真偽を反転させる論理演算。NOT演算とも呼ばれ、¬AまたはA̅と表記する。真は偽に、偽は真になる。

2つの命題の真偽が異なる場合に真、同じ場合に偽となる論理演算。XOR演算とも呼ばれ、A⊕Bと表記する。暗号化やパリティチェックなどで広く使われる。

2つの集合A、Bの少なくとも一方に属する要素全体からなる集合。A∪Bと表記する。ベン図では両方の円を合わせた領域に相当し、論理和（OR）に対応する。

2つの集合A、Bの両方に属する要素全体からなる集合。A∩Bと表記する。ベン図では両方の円が重なる領域に相当し、論理積（AND）に対応する。