摘要
本文给出一个方法,通过引进新的变量把一个一般的布尔表达式化为逻辑等价的、带有存在量词的合取范式,其连接符的个数至多为原式的7倍.
A method is given by this paper.It intro-duces the new variables to reduce a generalboolean formula to an equivalent conjunctivenormal form with existential quantifiers.Andthe connectives increase by at most 7 times
出处
《微电子学与计算机》
CSCD
北大核心
1990年第4期11-12,共2页
Microelectronics & Computer
