命題邏輯分析器 — 真值表與關係判定

本線上工具用於幫助快速取得命題邏輯的分析、推導結果。輔助學習或者取得完整解答使用。

啟用輸入輔助 (可能誤判，請依需求勾選以啟用/停用此輔助選項)

輔助啟用時按鈕會根據游標位置啟用/停用

按鈕會將字元插入到目前最後有焦點的輸入欄位（或游標所在處）。支援英文字母 (A–Z) 與常見邏輯符號，包含 XOR (⊻)。

句子 1（或列表第一個）

句子 2（或列表第二個）

注意：變項數太多會導致真值表暴增（2^n）。

模式： 兩句關係（蘊含 / 等值） 一致性（consistency / inconsistency）

總覽（命題字母與句子最終結果）

顯示詳細真值表 ▾