在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代數中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它們的 展开

两个主要的二元运算的符号定义为 $${\displaystyle \land }$$ (逻辑与)和 $${\displaystyle \lor }$$ (逻辑或)，把单一的一元运算的符号定义为 展开

代入规则
任何一个含有变量 X 的等式，如果将所有出现 X 的位置，都代之以一个逻辑函数 F，此等式仍然成立。 展开

运用逻辑代数的基本公式及规则可以对逻辑函数进行变换，从而得到表达式的最简形式。这里所谓的最简形式是指最简与或式或者是最简或与式，它们的判别标准有两条：(1)项数最少；(2)在项数 … 展开

参与逻辑运算的变量叫逻辑变量，用字母A，B……表示。每个变量的取值非0 即1。 0、1不表示数的大小，而是代表两种不同的逻辑状态。
正、负逻辑规定： 展开

基本运算
逻辑代数的基本运算如下。
• 与（合取），记作 x∧y（有时记作 x AND y 或 Kxy），在 x = y = 1 情况下，满足 x∧y = 1；其他情况下 x∧y = 0。 展开

逻辑变量的逻辑与运算叫做与项，与项的逻辑或运算构成了逻辑函数的与或式，也叫做积之和式(SP form)。
逻辑变量的逻辑或运算叫 … 展开