布尔代数中的形式积运算

• 作 者: 朱鳌鑫
• 机 构: 北京数据处理技术研究所
• 出 处: 计算机学报
• 发表日期: 1987年03期
• 关键词: 布尔代数 对时 变量 组合逻辑 最小项 固定型故障 定理 零因子 定义 乘积

1.“形式积”运算 所谓“形式积”是布尔代数中运算“积”的一种形式上的扩展。 定义1.设f(x_1,x_2,…,x_n)和g(x_1,x_2,…,x_n)都是布尔代数对上n个变量的布尔函数,f_y和g_y分别表示它们的任一积/和表达式,f_y对时g_y的“形式积”是:在保留一切积项的前提下,形式地计算乘积f_y·g_y,当f_y的积项m_i和g_y的积项m_i相乘时,如下计算它们的积项: 1. “Formal product” operation The so-called “form product” is a formal expansion of the “product” in Boolean algebra. DEFINITIONS 1. Let f (x_1, x_2, ..., x_n) and g (x_1, x_2, ..., x_n) be Boolean functions of n variables on , f_y and g_y denote any of their product / sum expressions respectively. The “form product” of f_y with respect to time g_y is that the product f_y · g_y is formally calculated while preserving all the product terms, and the product m_i of f_y When multiplied by the product m_i of g_y, their product terms are calculated as follows: