判定平方布尔函数的计数算法

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ￣３）的计数算法．与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计数，并适合于并行实现．

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数ｆ（ｘ）＝ｘＱｘ￣Ｔ＋ｃｘ￣Ｔ＋ｄ，它的最小点与最小值可在线性时间内找到。其基本思想在于将Ｑ和Ｃ所关联的图转换为由ＮＯＴ，ＡＮＤ，ＯＲ，ＮＡＮＤ，ＮＯＲ，ＸＯＲ和ＸＮｏＲ门组成的逻辑电路，后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。

逻辑电路的神经网络

Ｍ．Ｌ．Ｂｕｓｈｎｅｌ教授和作者给出了ＮＯＴ，ＡＮＤ，ＯＲ，ＮＡＮＤ，ＮＯＲ，ＸＯＲ和ＸＮＯＲ门的神经网络．以这些门的神经网络为基础，可构成任何逻辑电路的神经网络．由此，将电路的相容信号转换为平方伪布尔函数的全局极小．从而。