他们这样做有理由吗?我的意思是,在最小项之和中,您寻找输出为 1 的项;我不明白为什么他们称之为“minterms”。为什么不使用 maxterms,因为 1 远大于 0?
这背后是否有我不知道的原因?或者我应该直接接受而不问为什么?
称这些术语为“minterms”和“maxterms”的惯例并不对应于 1 大于 0。我认为最好的回答方法是举个例子:
假设您有一个电路,它由
X̄YZ̄ + XȲZ
描述,如 此处解释
此表格由两组三人组成。 每三个一组都是一个“小项”。 表达式 minterm 的含义是,表达式中三组中的每组仅对于 X、Y 和 Z 及其倒数的八种可能组合之一的值为 1。
所以“最小”指的是这些术语是构建某个函数所需的“最小”术语。如果您想了解更多信息,可以在提供的链接中对上面的示例进行更多上下文解释。
编辑:“他们使用 MIN 表示 AND,使用 MAX 表示 OR”的原因是:
在乘积之和(即所谓的“与”)中,只有其中一个小项必须为真,表达式才为真。
在求和的乘积(即所谓的“或”)中,所有最大项都必须为真,表达式才为真。
min(0,0) = 0
min(0,1) = 0
min(1,0) = 0
min(1,1) = 1
所以最小值非常类似于逻辑 AND。
max(0,0) = 0
max(0,1) = 1
max(1,0) = 1
max(1,1) = 1
所以最大值非常类似于逻辑“或”。
在 乘积总和 (SOP) 中,SOP 表达式的每一项称为 “最小项”,因为,
比如说,SOP表达式如下: F(X,Y,Z) = X'.Y'.Z + X.Y'.Z' + X.Y'.Z + X.Y.Z
对于这个 SOP 表达式为 "1" 或 true(作为 正逻辑), 表达式项的ANY应为1。 因此,“minterm”这个词。
即,项 (X'Y'Z) 、 (XY'Z') 、(XY'Z) 或 (XYZ) 中的 任何 为 1,则 F(X,Y,Z) 为是1!! 因此它们被称为“minterms”。
另一方面, 在 Product Of Sum (POS) 中,POS 表达式的每一项被称为“最大项”,因为,
假设 POS 表达式如下: F(X,Y,Z) = (X+Y+Z).(X+Y'+Z).(X+Y'+Z').(X' +Y'+Z)
对于这个 POS 表达式为“0”(因为 POS 被认为是 负逻辑 并且我们考虑 0 项),表达式中的 ALL 项应该是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 为 一。因此它被称为 MINTERM(最小一项!)
一个乘积被称为minterm,因为它具有最小可满足性,而总和被称为maxterm,因为它在所有实际有趣的布尔函数中具有最大可满足性。
它们被称为术语,因为它们被用作任意布尔函数的各种规范表示的构建块。
详情:
请注意,“0”和“1”是简单的布尔函数。 假设一组布尔变量x1,x2,...,xk
和一个不平凡的布尔函数
f(x1,x2,...,xk)
。传统上,每当
f
为该输入保留 f
值时,就称该输入满足
布尔函数
1
。请注意,可能存在
2^k
个输入,并且任何重要的布尔函数都可以满足最少 1 个输入到最多
2^k -1
个输入。现在考虑两个简单的布尔函数:所有变量的总和
S,以及所有变量的乘积P(变量可能/可能不作为补数出现)。 S 是一种具有 最大可满足性 的布尔函数,因此称为 maxterm,其中 P 是具有 最小可满足性 的函数,因此称为 minterm。