应用科学学报 ›› 1990, Vol. 8 ›› Issue (2): 170-176.

• 论文 • 上一篇    下一篇

布尔函数单调分解的直接方法(Ⅱ)

刘永才   

  1. 上海科学技术大学
  • 收稿日期:1987-11-14 修回日期:1989-04-26 出版日期:1990-06-30 发布日期:1990-06-30

DIRECT METHODS FOR MONOTONE DECOMPOSITION OF BOOLEAN FUNCTIONS (Ⅱ)

LIU YONGCAI   

  1. Shanghai University of Science and Technology
  • Received:1987-11-14 Revised:1989-04-26 Online:1990-06-30 Published:1990-06-30

摘要: 对于可单调分解的布尔函数,本文再次给出两类直接的单调分解法.第一类方法适用于和之积范式,第二类方法适用于任意布尔表达式.这些方法不难在计算机上实现.

Abstract: For those Boolean functions which can be monotonically decomposed, we present two classes of direct methods for monotone decomposition again in this paper. The first class of methods is available for canonical product of sums form and the second one is available for arbitrary boolean expressions. They also can be performed on computers easily.