簡化真值表方法怎麼用

⑴ 怎麼用真值表法來確定主合取範式、主析取範式

1.首先，我們需要了解一下數學概念。主合取範式，就是若干個極大項的合取（交集）。

例如由命題變項p,q,r組成的某公式的成真賦值為：(001),(101),(110)

那麼該公式的主析取範式為m1∨m5∨m6,

則其主合取範式為M0∧M2∧M3∧M4∧M7.

對應的極小項為m1=(~p∧~q∧r) m5=(p∧~q∧r) m6=(p∧q∧~r)

對應的極大項為M0=(~p∨~q∨~r) M2=(~p∨q∨~r) M3=(~p∨q∨r) M4=(p∨~q∨~r) M7=(p∨q∨r)

⑵ 歸謬賦值法的做題方法是什麼

歸謬賦值法又稱為簡化真值表法，主要用來判定一個蘊含式是否為重言式。
該法的做題程序為：
首先，假設蘊含式為假，在其主聯結詞下面寫上0.
其次，根據上述假設，先對前件賦值為真，對後件賦值為假，分別在前件下面協商1，在後件下面寫上0；然後，基於五個真值聯結詞的運算規則，逐層賦值，為真的在聯結詞下面寫1，為假的寫0.直到每個命題變項都被賦值為止。
最後，如果根據賦值導致邏輯矛盾，說明假設錯誤，則命題公示是重言式；如果假設成立，不導致矛盾，則不是重言式。
例如：（p ∧ q → r） → 【 p → （ q → r）】
1 1 1 1 0 0 1 0 1 0 0
0
（ps：這里一提交後，就對不齊了，沒辦法說明一下。第一排第一個p下面是1，接下來是合取符號下面的1，接下來是q下面的1，然後是第一個箭頭下的1，r下的是0，第二個箭頭下的0，接下來額那個p的下面是1，第三個箭頭是0，q下1.第四個箭頭下0『最後一個r下面0。第二排的0在第一個箭頭下面，必須每一個都對齊）
由此可見當假設蘊含式為假時會導致矛盾，所以蘊含式不為假，則為重言式。