真理値表

真理値表とは、論理式に含まれる論理変数が取り得る値のすべての組み合わせに対する論理式の計算結果を示す表のことです。

AとBを論理変数とした場合、以下は、「AもしくはBが1である」という論理式の真理値表です。

A B AもしくはBが1である
0 0 0
0 1 1
1 0 1
1 1 1

以下は、「AもBも1である」という論理式の真理値表です。

A B AもBも1である
0 0 0
0 1 0
1 0 0
1 1 1