English

应用科学学报 ›› 1992, Vol. 10 ›› Issue (4): 331-338.

• 论文 • 上一篇    下一篇

布尔函数的变元分离分解

刘永才   

  1. 上海科学技术大学
  • 收稿日期:1990-12-20 修回日期:1991-04-12 出版日期:1992-12-31 发布日期:1992-12-31
  • 基金资助:
    上海市自然科学基金资助课题

VARIABLES SEPARATION DECOMPOSITION OF BOOLEAN FUNCTIONS

LIU YONGCAI   

  1. Shanghai Univ. of Science and Technology
  • Received:1990-12-20 Revised:1991-04-12 Online:1992-12-31 Published:1992-12-31

PDF

78

摘要： 对布尔函数的分解问题,该文给出两种分解法,分别适用于以表达式或真值表给出的全定义或部分定义布尔函数.

关键词: 扩张, 布尔函数, 截, 划分

Abstract: Given a totally or partially defined Boolean function f(x1,…, xn), the problem that under what conditions f(x1,…, xn)=g((x1,…, xis)·h(xj,…, xt), where sets {i1,…, is} and {j1,…, jt} are a partition of set {1,…,n}, is very interesting and important. Two decomposition methods are presented in this paper. They are suitable for the totally or partially denned Boolean function which is represented by an expression or a truth table, respectively.

Key words: cut, partition, expansion, Boolean function