分野：テクノロジ系
中分類：基礎理論
小分類：離散数学

表の演算結果から任意のものを論理式に代入して正しいかどうかを検証していきます。ここでは表の上から4行目「X=0,Y=1,Z=1,結果=0」をそれぞれの論理式が満たすかどうかで答えを導いてみます。値を代入した結果が0であれば正しく、1であれば誤りということになります。

• (0・1)＋1＝0＋1＝1 …×
• (0＋1)・1＝1・1＝1 …×
• 0・(1＋1)＝0・1＝0 …○
• 0＋(1・1)＝0＋1＝1 …×

以上の結果から真理値表を表す論理式は「x・(y＋z)」であることがわかります。