求P的合取范式与主合取范式,(p<->q)->r主合取范式

求合取范式与析取范式 2023-11-15 11:48 686 墨鱼

求合取范式与析取范式

求P的合取范式与主合取范式,(p<->q)->r主合取范式

=┐R∧┐P∧P∧Q=0故原表达式的主析取范式为0，主合取范式为：┐PV┐QV┐R)∧(┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QV┐R)∧ (PV┐QVR)∧(PVQV┐R)∧(p∨┐q∨r0,1,0┐p∨q∨r1,0,0由以上分析，我们可以进一步得出以下结论：(1)各式的主析取范式和主合取范式是唯一确定的，因为任意的真赋值和假赋值公式

一、p合取q的主合取范式

1主析取范式:┐P∧┐Q)∨(┐P∧Q)∨(P∧┐Q)∨(P∧Q)主合取范式:1⇔(p∧q∧Ør)∨(p∧q∧r)∨( (p∧Øq∧r)∨(p∧q∧r))分配律2⇔(p∧q∧Ør)∨(p∧q∧r)∨(p∧Øq∧r)∨(p∧q∧) r)结合律⇔(p∧

二、pq的主合取范式

寻找范式的步骤：1.消除连接词→、←、↔；2.使用德摩根定律将否定符号┐直接移到每个命题变量之前；3.使用分配律。命题公式的析取范式和合取范式都不是唯一的。 2：主析取与主合取范数（1）简单合取简单合取：1.构成：命题变量（p）或命题变量否定（Øp）；2.概念：有限个命题由变量或其否定组成的合取称为简单合取