Zhejiang Daxue xuebao. Lixue ban (Sep 2008)
Tabular method of simplifying Boolean division/coincidence expansion of logic functions with fixed polarities(逻辑函数的布尔除/符合展开在固定极性下化简的表格方法)
Abstract
阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.
Keywords