Logic Calculator について

これは何ですか？

これは命題論理とブール論理をサポートする論理計算機です。分析、視覚化、計算ツールを提供することで、学生や専門家が論理式を扱うのを支援します。

機能

• 命題論理式をデコードして視覚化
• 否定、含意、連言、選言、双条件のサポート
• 式が充足可能で有効かどうかを確認
• 包括的な真理値表を作成
• 視覚的な式ツリーを生成
• 代替の等価な定式化を提供

作成者

この計算機は、論理学とコンピュータサイエンスを学ぶ学生のための教育ツールとして、Jonathan Søholm-Boesen によって作成されました。

メンテナンス

Logic Calculator は現在、プライバシーに配慮した製品を構築するソフトウェア開発会社である Infobits ApS によってメンテナンスおよび開発されています。

教育目的

このツールは、学生が命題論理を理解するのを助けるための教育リソースとして意図されています。元々はオーフス大学の計算可能性と論理のコース用に作成されましたが、大学と公式に関連しているわけではありません。