Zhejiang Daxue xuebao. Lixue ban (Sep 2002)

Standard expansion of logic functions in Boolean DIVISION, SUBTRACTION and NOT algebraic system(逻辑函数在布尔减、布尔除、非代数系统中的规范展开式)

  • TANGJin-hua(唐金花),
  • CHENXie-xiong(陈偕雄)

DOI
Journal volume & issue
Vol. 29, no. 5
pp. 512 – 517

Abstract

Read online

证明了布尔减与非运算、布尔除与非运算均构成完备集,并根据布尔除、布尔减的运算规则和性质,从最小项、最大项展开式出发,推导了任意逻辑函数在这两个完备集中的规范展开式.得到的展开式形式简单,容易记忆,与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷.本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义.

Keywords