题目
p∨(q∧r)是析取范式( )A 对B 错
p∨(q∧r)是析取范式( )
A 对
B 错
题目解答
答案
解答：
答案是 B 错。
析取范式 的定义是：由基本析取式通过析取运算连接而成的公式。
基本析取式 是由文字通过合取运算连接而成的公式。
文字 是一个命题变量或其否定。
p∨(q∧r) 这个公式虽然包含析取运算，但它不是由基本析取式通过析取连接而成的。因为 (q∧r) 不是一个基本析取式。
正确的主析取范式形式应该是：
(p∧q∧r)∨(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧¬q∧¬r)∨(¬p∧q∧r)∨(¬p∧q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧¬q∧¬r)
所以，p∨(q∧r) 不是析取范式。
解析
步骤 1：定义析取范式
析取范式是由基本析取式通过析取运算连接而成的公式。基本析取式是由文字通过合取运算连接而成的公式。文字是一个命题变量或其否定。
步骤 2：分析给定公式
给定公式为 p∨(q∧r)。这个公式包含析取运算，但 (q∧r) 不是一个基本析取式，因为基本析取式应该由文字通过合取运算连接而成。
步骤 3：判断是否为析取范式
由于 (q∧r) 不是基本析取式，所以 p∨(q∧r) 不是析取范式。
析取范式是由基本析取式通过析取运算连接而成的公式。基本析取式是由文字通过合取运算连接而成的公式。文字是一个命题变量或其否定。
步骤 2：分析给定公式
给定公式为 p∨(q∧r)。这个公式包含析取运算，但 (q∧r) 不是一个基本析取式，因为基本析取式应该由文字通过合取运算连接而成。
步骤 3：判断是否为析取范式
由于 (q∧r) 不是基本析取式，所以 p∨(q∧r) 不是析取范式。