Math Logic Calculator

Math Logic Calcにはいくつかの機能が含まれています。

[✔]操作の優先順位を付けた正しい括弧注文

[✔]論理式を簡素化する

[✔]真理値表を作成する

[✔]通常の形式の論理式を検索します。

    *連言標準形（および完全形）

    *選言標準形（および完全形）

論理演算をサポートします。

¬a

    -論理否定

a⇒b

    -物質的な意味

a∧b

    -論理積

a∨b

    -論理和

a⇔b

    -論理的平等

a⊕b

    -排他的または（XOR）

a | b

    -NANDゲート

a↓b

    -論理NOR（Peirceの矢印）

サポート：

    [✔]ブラケット

    [✔]数字

    [✔]記号

例：

（A⇒B）⇒¬（B⇒A）

（A⊕B）∨（A⊕C）

（A⇒B）∨（B⇔C）

（（A⇒B）⇒（A | C））⇒（¬B⇒¬C）

（A⇒B）∧（A↓C）

（A∨B）∨C⇒（A∨B）∧（A∨C）

0↓1 | a | b | c | 1↓0