目录
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
查看 两元素布尔代数和偏序关系
卡诺图
卡诺图是真值表的变形，它可以将有n个变量的逻辑函数的2^n个最小项组织在给定的长方形表格中，同时为相邻最小项（相邻与项）运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多，那么卡诺图的行列数将迅速增加，使图形更加复杂；此外，卡诺图的图形化表示方法不适合直接用于算法的设计，因此计算机辅助工程工具一般不会使用卡诺图来进行逻辑函数的优化。 卡诺图是贝尔实验室的电信工程师，在1953年发明的。.
查看 两元素布尔代数和卡诺图
史丹佛哲學百科全書
史丹佛哲學百科全書（Stanford Encyclopedia of Philosophy，SEP）是一部由史丹佛大學營運的免費線上哲學百科全書，內容主要以經同行評審認可的論文為主。該百科內的每一篇論文均由一位該領域的專家撰寫並維護，作者涵蓋來自世界各地徐術機構的教授。每一位在該百科全書上發表文章的作者均同意將作品的出版權讓與史丹佛大學，但作者仍可保有著作權。.
奎因－麦克拉斯基算法
奎因－麦克拉斯基算法（Quine-McCluskey算法）是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它具有文字表格的形式，因此它更适合用于电子设计自动化算法的实现，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。 方法涉及两步：.
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
查看 两元素布尔代数和布尔代数
二值原理
在逻辑中，二值原理（Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见二值和有关规律。.
查看 两元素布尔代数和二值原理
运算
数学上，运算（Operation）是一种行为，通过已知量的可能的组合，获得新的量。例如，算术中的加法6+3.
查看 两元素布尔代数和运算
逻辑与
在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。.
查看 两元素布尔代数和逻辑与
逻辑代数
在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是变量的值仅为真和假两种真值（通常记作 1 和 0）的代数的子领域。初等代數中变量的值是数字，并且主要运算是加法和乘法，而逻辑代数的主要运算有合取与，记为∧；析取或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。 逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。 根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。 逻辑代数一直是数字电路设计的基础，并且所有现代编程语言提供支持。它也用在集合论和统计学中。.
查看 两元素布尔代数和逻辑代数
逻辑非
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法：.
查看 两元素布尔代数和逻辑非
逻辑或
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。.
查看 两元素布尔代数和逻辑或
泛代数
泛代数（Universal algebra），研究通用於所有代數結構的理論，而不是代數結構的模型。舉個例子，並不是將特殊的個別的群作為個體分別來學習，而是將整個群論的理論作為學習的主題。.
查看 两元素布尔代数和泛代数
有界集合
在数学分析和有关的数学领域中，一个集合被称为有界的，如果它在某種意义上有有限大小。反过来说，不是有界的集合就叫做无界。.
查看 两元素布尔代数和有界集合
另见
初等代数
- 一元二次方程
- 一元運算
- 一次方程
- 三次方程
- 不等
- 不等式
- 乘法分配律
- 交換律
- 代數分式
- 代數式
- 传递关系
- 倒数
- 分母有理化
- 分配律
- 初等代數
- 加法單位元
- 加法逆元
- 四次函數
- 四次方程
- 因式分解
- 增失根
- 恒等式
- 数学公式
- 方根
- 方程
- 立方根
- 線性關係
- 结合律
- 部分分式分解
- 配方法
- 韦达定理