请输入您要查询的百科知识:

 

词条 蕴涵项
释义

在布尔逻辑中,乘积项(极小项) P 是布尔函数 F 的蕴涵项,如果 P 蕴涵 F。更加准确的说:

F 是 n 个变量的布尔函数。

P 是乘积项。

对于 n 个变量的使 P 得到值 1 的所有组合,F 也等于 1。所以 P 蕴涵 F。

这意味着在布尔空间的自然次序上 P < F。比如,函数

f(x,y,z,w) = xy + yz + w

蕴涵自 xy,xyz,xyzw,w 和很多其他的项: 它们是 f 的蕴涵项。

威拉德·冯·奥曼·蒯因定义 F 的素蕴涵项为最小化的蕴涵项 - 就是说,如果从 P 去除任何文字都导致 F 的非蕴涵项。定义本质素蕴涵项为某些输入值的组合满足 P 但不满足任何其他素蕴涵项的那些蕴涵项。

使用上面的例子,你可以轻易的看到尽管 xy (和其他的项)是素蕴涵项,xyz 和 xyzw 不是。从后者,可以去除多个文字来使它成为素的:

x、y 和 z 可以去除,生成 w。

可作为选择的,z 和 w 可以去除,生成 xy。

最后,x 和 w 可以被去除,生成 yz。

向布尔项增加文字的过程叫做扩展这个项。扩展一个文字加倍使这个项为真的输入组合的数目(在二元布尔代数中)。

布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/1/31 20:08:24