命題數學和邏輯計算器
Logic Calculator Free是一個應用程序，可以通過 2 種不同的方式給出邏輯命題的真值：您可以輸入變量的單個真值，以提供與整個命題相對應的單個真值 true 或 false，或者您可以輸入邏輯命題，它會根據使用的變量數量自動給出包含所有可能組合的真值表。在這種情況下，結果可能是同義反复、偶然性或矛盾。
計算器還具有比較模式。它會比較最多 3 個命題以驗證它們的等效性。驗證後自動構建比較真值表。
支持的運算：AND、NAND、OR、NOR、XOR、蘊涵、雙條件。
- 此免費版本中最多提供 6 個變量（64 種可能的組合）。
- 標記語法錯誤以更輕鬆地找到它們。
- 鍵盤定制。
- 括號、方括號和大括號嵌套用於復雜計算。
- 逐步演示。
- 最後計算的命題列表。
- 推理規則列表，可以測試其中的任何規則。
- 新的！等效定律列出並附有示例。
- 所有邏輯運算符的真值表理論。
- 無需互聯網連接即可計算！
- 未來更新中會有更多計算模式！
閱讀更多信息
