他们这样做有理由吗?我的意思是,在最小项的总和中,您查找输出为 1 的项;我不明白他们为什么称它为“minterms”。为什么不是 maxterms,因为 1 远大于 0?
这背后有我不知道的原因吗?还是我应该接受它而不问为什么?
他们这样做有理由吗?我的意思是,在最小项的总和中,您查找输出为 1 的项;我不明白他们为什么称它为“minterms”。为什么不是 maxterms,因为 1 远大于 0?
这背后有我不知道的原因吗?还是我应该接受它而不问为什么?
将这些术语称为“minterms”和“maxterms”的约定并不对应于 1 大于 0。我认为最好的回答方法是举个例子:
假设您有一个电路,它由 描述X̄YZ̄ + XȲZ
。
“这种形式由两组三人组成。每组三人是一个'minterm'。表达式minterm旨在暗示表达式中的每个三人组仅对其中一个取值1 X、Y 和 Z 的八种可能组合及其倒数。” http://www.facstaff.bucknell.edu/mastascu/elessonshtml/Logic/Logic2.html
所以“min”指的是这些术语是构建某个功能所需的“最小”术语。如果您想了解更多信息,上面的示例在提供的链接中的更多上下文中进行了解释。
编辑:“他们将 MIN 用于 AND,将 MAX 用于 OR”的原因是:
在产品总和(您称之为 AND)中,只有一个最小术语必须为真,表达式才能为真。在和的乘积(你称之为 OR)中,所有的 maxterms 必须为真,表达式才能为真。
min(0,0) = 0
min(0,1) = 0
min(1,0) = 0
min(1,1) = 1
所以最小值很像逻辑与。
max(0,0) = 0
max(0,1) = 1
max(1,0) = 1
max(1,1) = 1
所以最大值很像逻辑或。
我相信 AB 被称为最小项是因为它在维恩图上占据了最小的区域;而 A+B 被称为 MAXTERM,因为它在维恩图中占据了最大面积。画出两张图,意思就很明显了 Ed Brumgnach
在产品总和( SOP ) 中,SOP 表达式的每个项都称为“最小项”,因为,
比如说,一个SOP表达式如下: F(X,Y,Z) = X'.Y'.Z + XY'.Z' + XY'.Z + XYZ
对于此SOP表达式为“1”或为真(作为正逻辑), 表达式的任何项都应为 1。因此是“minterm”一词。
即,任何项 (X'Y'Z) 、 (XY'Z') 、 (XY'Z) 或 (XYZ) 为1,结果F(X,Y,Z) 为 1!因此它们被称为“minterms”。
另一方面,在Product Of Sum ( POS ) 中,POS 表达式的每个项都称为“maxterm”,因为,
假设POS表达式为: F(X,Y,Z) = (X+Y+Z).(X+Y'+Z).(X+Y'+Z').(X'+Y' +Z)
对于这个POS表达式为“ 0 ”(因为POS被认为是负逻辑,我们认为是0个术语),表达式的所有术语都应该是 0。因此“最大术语”这个词!
即对于F(X,Y,Z) 为 0, 每个项 (X+Y+Z), (X+Y'+Z), (X+Y'+Z') 和 (X'+Y '+Z) 应该等于“ 0 ”,否则 F 不会为零!!
因此,POS 表达式中的每个项都称为MAXTERM(所有项的最大值!),因为所有项都应为零,F 为零,而 POS 中的任何项为 1 都会导致 F 为 1。因此它被称为MINTERM(至少一个任期!)
这是另一种思考方式。
一个乘积被称为最小项,因为它具有最小可满足性,而总和被称为最大项,因为它在所有实际有趣的布尔函数中具有最大可满足性。
它们被称为术语,因为它们被用作任意布尔函数的各种规范表示的构建块。
细节:
请注意,“0”和“1”是普通的布尔函数。假设一组布尔变量x1,x2,...,xk
和一个非平凡的布尔函数f(x1,x2,...,xk)
。
按照惯例,只要输入的值为 ,就称输入满足布尔函数。f
f
1
请注意,确实存在2^k
可能的输入,并且任何非平凡的布尔函数都可以满足最小 1 个输入到最大2^k -1
输入。
现在考虑两个感兴趣的简单布尔函数:所有变量S的总和,以及所有变量P的乘积(变量可能/可能不作为补码出现)。S是一个具有最大可满足性的布尔函数,因此称为maxterm,其中P是具有最小可满足性的函数,因此称为minterm。