展开全部
仅由有限个命题变项或其否定构成的析取式称为简单析取式。
(1)一个简单析取式是重言式，当且仅当它同时含一个命题变项及其否定；
(2)一个简单合取式是矛盾式，当且仅当它同时含一个命题变项及其否定。
由有限个简单合取式构成的析取式称为析取范式
如（p∧q）∨（p∧┓p∧┓r）
由有限个简单析取式构成的合取式称为合取范式。 如 r∧(p∨q) ∧( p∨q∨┓r)
析取范式和合取范式统称为范式
极小项为只由逻辑与和补运算符组成的 n 个变量的逻辑表达式
例如，下列是极小项的例子:
a b'c
a' b c
n 个变量有 2n 个极小项 - 这是因为在极小项表达式中一个变量要么是自身要么是它的补的形式 - n 个变量每个都有两种选择
极大项是极小项想法的对偶。不再使用 AND 和补运算，我们转而使用 OR 和补运算，处理是类似的。
例如，下面是极大项的例子:
a+b'+c
a'+b+c
n 个变量也有 2n 个极大项 - 这是因为在极大项表达式中一个变量要么是自身要么是它的补的形式 - n 个变量每个都有两种选择。
(1)一个简单析取式是重言式，当且仅当它同时含一个命题变项及其否定；
(2)一个简单合取式是矛盾式，当且仅当它同时含一个命题变项及其否定。
由有限个简单合取式构成的析取式称为析取范式
如（p∧q）∨（p∧┓p∧┓r）
由有限个简单析取式构成的合取式称为合取范式。 如 r∧(p∨q) ∧( p∨q∨┓r)
析取范式和合取范式统称为范式
极小项为只由逻辑与和补运算符组成的 n 个变量的逻辑表达式
例如，下列是极小项的例子:
a b'c
a' b c
n 个变量有 2n 个极小项 - 这是因为在极小项表达式中一个变量要么是自身要么是它的补的形式 - n 个变量每个都有两种选择
极大项是极小项想法的对偶。不再使用 AND 和补运算，我们转而使用 OR 和补运算，处理是类似的。
例如，下面是极大项的例子:
a+b'+c
a'+b+c
n 个变量也有 2n 个极大项 - 这是因为在极大项表达式中一个变量要么是自身要么是它的补的形式 - n 个变量每个都有两种选择。
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
