谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
在集成电路设计中，逻辑合成是所设计数字电路的高抽象级描述，经过布尔函数化简、优化后，转换到的逻辑门级别的电路连线网表的过程。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
奎因－麦克拉斯基算法是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它具有文字表格的形式，因此它更适合用于电子设计自动化算法的实现，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。
在逻辑代数中，卡诺图是真值表的变形，它可以将有n个变量的布尔函数的
2
n
{\displaystyle 2^{n}}
个最小项组织在给定的长方形表格中，同时为相邻最小项运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多，那么卡诺图的行列数将迅速增加，使图形更加复杂。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
在布尔逻辑的积项和式中，规范形式P 是布尔函数 F 的涵项，如果 P 蕴涵 F。更加准确的说：
布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
Mini wiki
