为什么乘积称为最小项,总和称为最大项?

问题描述 投票:0回答:5

他们这样做有理由吗?我的意思是,在最小项之和中,您寻找输出为 1 的项;我不明白为什么他们称之为“minterms”。为什么不使用 maxterms,因为 1 远大于 0?

这背后是否有我不知道的原因?或者我应该直接接受而不问为什么?

boolean logic boolean-logic boolean-expression boolean-operations
5个回答
26
投票

称这些术语为“minterms”和“maxterms”的惯例并不对应于 1 大于 0。我认为最好的回答方法是举个例子:

假设您有一个电路,它由

X̄YZ̄ + XȲZ
描述,如 此处解释

此表格由两组三人组成。 每三个一组都是一个“小项”。 表达式 minterm 的含义是,表达式中三组中的每组仅对于 X、Y 和 Z 及其倒数的八种可能组合之一的值为 1。

所以“最小”指的是这些术语是构建某个函数所需的“最小”术语。如果您想了解更多信息,可以在提供的链接中对上面的示例进行更多上下文解释。

编辑:“他们使用 MIN 表示 AND,使用 MAX 表示 OR”的原因是:

乘积之和(即所谓的“与”)中,只有其中一个小项必须为真,表达式才为真。 在求和的乘积(即所谓的“或”)中,所有最大项都必须为真,表达式才为真。


11
投票
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

所以最大值非常类似于逻辑“或”。


2
投票

乘积总和 (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(最小一项!)


1
投票
我认为AB被称为最小项是因为它在维恩图上占据了最小面积;而A+B被称为MAXTERM,因为它在维恩图中占据了最大面积。画出两张图,意思就很明显了 艾德·布鲁姆纳赫


0
投票
这是另一种思考方式。

一个乘积被称为

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

© www.soinside.com 2019 - 2024. All rights reserved.