简化真值表方法怎么用

⑴ 怎么用真值表法来确定主合取范式、主析取范式

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在第一个箭头下面，必须每一个都对齐）
由此可见当假设蕴含式为假时会导致矛盾，所以蕴含式不为假，则为重言式。