真理値表
AND・OR・NOT・XOR・含意・同値を含む命題論理式の真理値表を生成する。
例:
記法
- 変数：英字1文字 A–Z（最大6個）
- & または && ： 論理積（AND）
- | または || ： 論理和（OR）
- ! または ~ ： 否定（NOT）
- ^ ： 排他的論理和（XOR）
- -> ： 含意
- <-> ： 同値
- 括弧 ( ) で部分式をグループ化
- 優先順位： ! > & > ^ > | > -> > <->
分類: 偶然式 — 真になる割り当てと偽になる割り当てがある
| A | B | C | 結果 |
|---|---|---|---|
| F | F | F | T |
| F | F | T | T |
| F | T | F | T |
| F | T | T | T |
| T | F | F | T |
| T | F | T | T |
| T | T | F | F |
| T | T | T | T |
使い方
- 変数（英字1文字）と演算子で論理式を入力する。例：(A & B) -> C
- 「真理値表を生成」を押すと、すべての真理値割り当てに対する結果が表示される。
- 式が恒真式・矛盾式・偶然式のどれかも判定される。
注意事項
変数は最大6個まで（表は最大64行）。演算子の優先順位は !（否定）が最も高く、次に &、^、|、->、<-> の順。同値は <->、含意は -> と入力する。変数は出現順に表の列になる。
よくある質問
- 小文字の変数は使える？
- 使える。a と A は別の変数として扱われるため、表記は統一してほしい。
- 途中の部分式の列も表示される？
- 表示されない。このツールは各変数と最終結果のみを表示する。