摘要: 在1和2中作者们用三值逻辑的方法去计算复布尔函数并且提供了若干个算法.其中的大多数是很快的而且最小化了计算机的存储空间.但是,E.Omerti发现算法VK2的流程图(参看1)不可能在计算机上实现.事实上为了使用算法VK 2,我们必须翻译复布尔函数为析取范式.但是,容易看出,有时候计算机无法执行这样的翻译.例如,假设我们需要翻译如下的布尔函数为它的析取范式: