Question

求命题公式(P^(-P—Q))^(Q—R)的主析取范式

Answer 1

问：求命题公式(P^(-P—Q))^(Q—R)的主析取范式

答：亲亲，您好。(P→(Q∧R))∧(¬P→(¬Q∧¬R))得到主合取范式，再检查遗漏的极大项⇔¬(P∨Q∨R)∨¬(¬P∨¬Q∨¬R) 德摩根定律⇔(¬P∧¬Q∧¬R)∨(P∧Q∧R) 德摩根定律。

答：亲亲，命题公式(propositional formula)亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出，例如，在一个具有五个联结词ᒣ，∨，∧，→，≡的系统中，合式公式定义如下：1.命题变元和命题常元是公式；2.如果α是公式，则ᒣα也是公式；3.如果α，β是公式，则α∨β，α∧β，α→β，α≡β均为公式；4.只有由1～3条给出的才是公式。因此，根据上述定义，ᒣp，(p→q)∨ᒣp等是公式，而pᒣ，pq→等都不是公式。