📅  最后修改于: 2020-12-23 01:14:44        🧑  作者: Mango

格子：令L是在称为met和join的两个二进制操作下闭合的非空集，用∧和denoted表示。如果以下公理成立，则将L称为晶格，其中a，b，c是L中的元素：1)交换律：-(a)a∧b = b∧a(b)a∨b = b∨a2)关联法：(a)(a∧b)∧c = a∧(b∧c)(b)(a∨b)∨c = a∨(b∨c)3)吸收法：(a)a∧(a∨b)= a(b)a∨(a∧b)= a双重性：格(L，∧，∨)中任...

📅  最后修改于: 2020-12-23 01:15:40        🧑  作者: Mango

布尔代数：互补的分布格称为布尔代数。它由(B，∧，∨，'，0,1)表示，其中B是一个集合，在该集合上定义了两个二进制运算∧(*)和∨(+)和一元运算(补码)。这里0和1是B的两个不同元素。由于(B，∧，∨)是互补的分布格，因此B的每个元素都有唯一的互补。布尔代数的属性：1.交换性质：(i)a + b = b + a2.分布特性(i)a +(b * c)=(a + b)*(a + c)3.身份属性(...

📅  最后修改于: 2020-12-23 01:16:34        🧑  作者: Mango

布尔表达式：考虑一个布尔代数(B，∨，∧，'，0,1)。布尔代数B上的布尔表达式定义为B的每个元素都是一个布尔表达式。每个变量名称都是一个布尔表达式。如果a1和a2是布尔表达式，则如图1所示，'∨a2和a1∧2是布尔表达式。示例：考虑一个布尔代数({0，1，2，3}，∨，∧，'，0,1)。0∨x(2∧3)(X1∨×2)∧(X1∧x3)是布尔代数上的布尔表达式。包含n个不同变量的布尔表达式通常称为n...

📅  最后修改于: 2020-12-23 08:45:17        🧑  作者: Mango

规范形式：有两种形式的规范形式：析取范式或乘积或(SOP)。求和或(POS)的合取范式或乘积。析取范式或产品总和或(SOP)：如果布尔表达式({0，1}，∨，∧，')是minterm的连接，则表示为析取范式。例如：(X1'∧x2'∧x3“)∨(X1'∧x2∧x3')∨(X1∧x2∧x3)是在析取范式布尔表达式。由于有三个最小项x1'∧x2'∧x3'，X1'∧x2∧x3和X1∧x2∧x3。最大长期：...

📅  最后修改于: 2020-12-23 08:46:20        🧑  作者: Mango

逻辑门和电路：布尔表达式的示意图或图形表示：布尔表达式可以通过使用逻辑电路来图形表示。这些逻辑电路可以使用称为门的固态器件来构造，该固态器件能够切换电压电平。如果x和y是变量，则基本表达式x y(AND)，x y(OR)和<span class=”bt”>x'</span> (NOT)如下图所示：AND门：AND门接收输入x和y并产生表示为x y的输出，如逻辑表所示xyx∧ y0000101001...

📅  最后修改于: 2020-12-23 08:47:16        🧑  作者: Mango

卡诺地图：卡诺图是一个平面区域，分为2n个相等的像元，每个像元代表一个点用于n个变量的函数。每个变量x用于以不同方式将面积分成两个相等的一半，即一个用于x，另一个用于x'。对应于该函数的值为1的参数的单元格包含1。例1：当变量数量n = 1时，卡诺图如图所示：2.当变量数量n = 2时，卡诺图如图所示：3.当变量数量n = 3时，卡诺图如图所示：使用K-Map简化布尔函数：布尔函数可以用k-map...