真值表產生器

  1. 輸入
  2. 選項
  3. 結果

真值表產生器

使用運算符按鈕、範例、公式分類、主析取範式、主合取範式、最小項與匯出功能,建立並分析真值表。

建立真值表

輸入布林表達式或使用操作按鈕組合它。

可選比較使用變數的並集(最多 8 個)並突出顯示反例。變更輸入,然後建立表格以更新結果。每個表達式限制為 2000 個字元。

邏輯表達式運算符

您也可以鍵入 NOT、AND、OR、XOR、NAND、NOR、IMPLIES 和 IFF。

快速範例

該表達式在您的瀏覽器中本地計算。

解析表達式
(A ∧ B) → C
偶然式
變數
A, B, C
組合
8
結果為 1 的行
7
結果為 0 的行
1

布林真值表

PDF / 列印: 全部 (8)

#
A
B
C
結果
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

規範形式

主析取範式(DNF)由結果為 1 的資料列構成;主合取範式(CNF)由結果為 0 的資料列構成。

主析取範式(DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
主合取範式(CNF)
(¬A ∨ ¬B ∨ C)
最小項
Σm(0, 1, 2, 3, 4, 5, 7)
大項
ΠM(6)

線上產生真值表

輸入或組合佈林表達式並檢查最多八個變數的每個組合及其結果值。

將公式分類為同義反覆、矛盾或偶發,篩選行,並將表格與規範 DNF、CNF、最小項和最大項一起匯出。

快速啟動

建立真值表或比較兩個表達式的等價性。

  1. 輸入表達式和可選比較
  2. 建表更新結果
  3. 檢查反例並匯出完整表格
✓ 該工具直接在瀏覽器中執行,無需安裝軟體即可進行快速檢查。
✓ 輸入可以立即清除並重新計算,這對於重複的小任務很有用。
✓ 當您需要更多空間來容納長文字、結構化資料或大型結果區塊時,請使用全螢幕模式。
✓ 產生的輸出上提供複製按鈕,因此可以在程式碼、檔案或支援聊天中重複使用結果。
✓ 大多數的操作都是確定性:相同的輸入和選項會產生相同的輸出。
✓ 對於敏感內容,最好使用本機瀏覽器工具並在進一步分享之前查看結果。

其他工具

用戶評論

發表前會檢查評論。我們發布真正的正面回饋和具體批評。沒有有用細節的垃圾郵件和侮辱性內容不會被發布;褻瀆和個人資訊被掩蓋。贊成票立即計算;反對票經審核後計算。

評論反映了使用者的體驗,而不是結果的保證或服務限制的描述。使用上面的評級按鈕留下評論。

尚未發表此語言的評論。