反相器也称非门，是数字逻辑中实现逻辑非的逻辑门，功能见右侧真值表。
Stateflow，是The MathWorks开发的利用状态机和流程图用于对响应系统进行建模的工具。Stateflow使用由David Harel提出的一种有限状态机的图示方式，实现在一个状态图中对结构、平行机制及历史记忆进行表示。此外Stateflow还提供了状态转移表和真值表。
或非门是数字逻辑中实现逻辑或非的逻辑门，功能见右侧真值表。若输入均为低电平，则输出为高电平；若输入中至少有一个为高电平，则输出为低电平。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算，因此其他任何逻辑函数都能用或非门实现。相比之下，逻辑或运算器是一种单调的运算器，其只能将低电平变为高电平，但不能将高电平变为低电平。
或门是数字逻辑中实现逻辑或的逻辑门，功能见右侧真值表。只要两个输入中至少有一个为高电平，则输出为高电平；若两个输入均为低电平，输出才为低电平。换句话说，或门的功能是得到两个二进制数的最大值，而与门的功能是得到两个二进制数的最小值。
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或自动机基于当前状态和其他输入，要移动到什么状态的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。
与门是数字逻辑中实现逻辑与的逻辑门，功能见右侧真值表。仅当输入均为高电压时，输出才为高电压；若输入中至多有一个高电压时，则输出为低电压。换句话说，与门的功能是得到两个二进制数的最小值，而或门的功能是得到两个二进制数的最大值。
反相器也称非门，是数字逻辑中实现逻辑非的逻辑门，功能见右侧真值表。
在逻辑代数中，卡诺图是真值表的变形，它可以将有n个变量的布尔函数的
2
n
{\displaystyle 2^{n}}
个最小项组织在给定的长方形表格中，同时为相邻最小项运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多，那么卡诺图的行列数将迅速增加，使图形更加复杂。
同或门，又称异或非门，是数字逻辑中实现当且仅当的逻辑门，功能见右侧真值表。若两个输入的电平相同，则输出为高电平；若两个输入的电平相异，则输出为低电平。
或非门是数字逻辑中实现逻辑或非的逻辑门，功能见右侧真值表。若输入均为低电平，则输出为高电平；若输入中至少有一个为高电平，则输出为低电平。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算，因此其他任何逻辑函数都能用或非门实现。相比之下，逻辑或运算器是一种单调的运算器，其只能将低电平变为高电平，但不能将高电平变为低电平。
Mini wiki
