Discrete Math

命題論理の真理値表

一覧へ 5章命題論理

変数

例

自由入力

真理値表

AND は ⋀、OR は ⋁、NOT は ~ で表します。

4 行

記号

このページで使う表記

p ⋀ q: p と q がどちらも真のとき真
p ⋁ q: p と q の少なくとも一方が真のとき真
~p: p の真偽を反転
( ): 括弧で計算順序を指定