逻辑代数，也叫做开关代数起源于英国数学家乔治·布尔(GeorgeBoole)于1849年创立的布尔代数，是数字电路设计理论中的数字逻辑科目的重要组成部分。逻辑代数，亦称布尔代数，是英国数学家乔治布尔（George Boole）于1849年创立的。逻辑代数是按一定的逻辑关系进行运算的代数，是分析和设计数字电路的数学工具。逻辑代数中的变量称为逻辑变量，用大写字母表示。由于属于 a类又属于 b类的个体组成的类叫做a与b的逻辑积（交类），记作a∩b，简记作ab。逻辑代数与命题代数有所不同。
反演规则
当已知一个逻辑函数F，要求 ¬F 时，只要把 F 中的所有 * 变成 +，+ 变成 *，0 变成 1，1 变成 0，原变量变成反变量，反变量变成原变量，即得 ¬F。运用反演规则时必须注意一下两个原则：（1）保持原来的运算优先级，即先进行与运算，后进行或运算。并注意优先考虑括号内的运算。（2）对于反变量以外的非号应保留不变。。
