命題數學和邏輯計算器
Logic Calculator Free是一個應用程序,它從2種不同的方式中賦予邏輯命題的真實價值:您可以輸入變量的單個真實價值,以提供單個真實價值的真實價值真實或錯誤,與整個命題相對應,或者您可以輸入邏輯表並自動將真實表與所有可能的組合提供根據使用中的變量數量的所有可能組合。在這種情況下,結果可能是重言式,偶然性或矛盾。
計算器還具有比較模式。它比較了三個命題以驗證其等效性。驗證後,它會自動構建比較的真實表。
支持的操作:and and or n n n n os,xor,含義,雙條件。
- 此免費版本中最多可用6個變量(64個可能的組合)。
- 標記為更容易找到它們的語法錯誤。
- 鍵盤自定義。
- 括號,方括號和鑰匙括號嵌套以進行複雜的計算。
- 逐步演示。
- 計算的最後命題列表。
- 推理規則列表,有可能測試任何一個。
- 新的!等效法律列表與示例。
- 所有邏輯運營商的真實表理論。
- 無需計算互聯網連接!
- 將來更新中的更多計算模式!
展開
發佈時間
大小
類別
教育學習包名