論理計算機
命題論理とブール代数のための無料の真理値表ジェネレーター。任意の論理式について真理値表・性質・同値な形・カルノー図・回路図を、任意の論証について意味論的タブローによる証明を表示します。すべてブラウザ内で動作します。
論理式を入力して分析してください（命題論理、ブール代数をサポート）
ガイド
演算子をクリックすると、その例を計算機で試せます。各演算子には入力できる書き方がすべて示されています。
論理を一歩ずつ学ぶ
最初の命題から真理値表とブール代数を経て、プログラミング・数学・哲学における論理の使われ方まで導く学習パスです。
練習問題
真理値表、ブール代数、論理的同値、証明の練習問題に取り組めます。進捗を記録し、適応型のトレーニングも実行できます。
真理値表から式へ
任意の真理値表を論理式に変換します。カスタム真理値表から選言標準形（DNF）または連言標準形（CNF）のブール式を生成します。
について
命題論理、ブール代数、真理値表生成のための包括的な教育ツール。論理式を扱う学生や専門家に最適です。
お問い合わせと問題の報告
バグを見つけたり、フィードバックがありますか？ぜひお聞かせください。[email protected] にメールしてください。お問い合わせは英語が望ましいです。
よくある質問
論理計算機の使い方についてよく寄せられる質問への回答
この計算機はどの論理演算子に対応していますか？
標準的な論理演算子はすべて使えます。否定 (¬, !)、連言 (&, ∧)、選言 (|, ∨)、含意 (→, ->)、同値 (↔, <->) です。これらを組み合わせて複雑な論理式を組み立てられます。
∧ や → のような記号は普通のキーボードでどう入力しますか？
入力する必要はありません。どの記号にも計算機が理解する ASCII の書き方があります。∧ は &、∨ は |、¬ は ! または ~、→ は ->、↔ は <-> です。定数 ⊤ と ⊥ は true と false、あるいは T と F と書けます。記号そのものを使いたい場合は、入力欄の下にある演算子キーボードが挿入してくれます。
二つの論理式が同値かどうかを確認できますか？
はい。二つの式を '==' で区切って同値判定機能を使うと、論理的に同値かどうかが分かります。計算機は両者の真理値表を比較して同値性を確かめます。
議論が妥当かどうかを計算機で確かめられますか？
はい。前提をカンマで区切って書き、次に turnstile 記号、最後に結論を書きます。たとえば 'p, p -> q ⊨ q' のようにします。turnstile は |= や |- と打っても構いません。計算機は、結論が導かれるか、実際に必要な前提はどれか、前提がすべて同時に真になりうるかを示し、議論が成り立たない場合には、すべての前提が真で結論が偽になる反例モデルを挙げます。
「充足可能」と「妥当」はどういう意味ですか？
充足可能な式とは、少なくとも一つの真理値の割り当てで真にできる式です。妥当な式（トートロジー）は、あらゆる割り当てで真になります。計算機はあなたの式についてこの両方の性質を自動的に判定します。
データ
履歴を保存するためにローカルストレージを使用します。