在数字逻辑电路中，用１位二进制数码的“０”和“１”表示一个事物的两种不同逻辑状态。例：一件事情的是和非、真和伪、有和无、好和坏，或者电路的通和断、电灯的亮和暗、门的开和关等等。这种只有两种对立逻辑状态的逻辑关系成为二值逻辑。当使用两个数码表示逻辑状态时，它们之间可以按照指定的某种因果关系进行推理计算，将这种运算称为逻辑运算。

１８４９年英国数学家乔治·布尔提出了逻辑运算的数学方法——布尔代数。在实际电路中就是按照二进制进行工作的，所以布尔代数在电路中的应用非常普遍。

逻辑代数中有与（ＡＮＤ）、或（ＯＲ）、非（ＮＯＴ）三种。

对于（ａ）电路来说，只有开关Ａ和开关Ｂ都闭合，灯Ｙ才可以点亮。

决定事物结果的全部条件同时成立时，结果才发生。这种因果关系成为逻辑与，也称为逻辑相乘。

对于（ｂ）电路来说，开关Ａ和开关Ｂ有一个闭合，灯Ｙ就可以点亮。

决定事物结果的诸多条件中任何一个满足，结果就会发生。这种因果关系成为逻辑或，也成为逻辑相加。

对于（ｃ）电路来说，只要条件具备了，结果就不发生了；条件不具备时，结果一定发生。这种因果关系称为逻辑非，也称为逻辑求反。

如果以Ａ、Ｂ表示开关的状态，并以１表示开关闭合，以０表示开关断开；以Ｙ表示指示灯的状态，并以１表示灯亮，以０表示不亮，则可以列出以０、１表示的与、或、非逻辑关系的图表。这种图表称为真值表。

在逻辑代数中，将与、或、非看作时逻辑变量Ａ、Ｂ间的三种最基本的逻辑运算，并且以“·　”表示与运算（可以省略不写），以“＋”表示或运算，以变量右上角的“‘”表示非运算。所以与、或、非可以写成如下表达式：

与　：Ｙ　＝　Ａ　·　Ｂ；　或　：Ｙ　＝　Ａ　＋　Ｂ；　非　：Ｙ　＝　Ａ’；

在图１中只是利用电路模型说明外部条件和结果的逻辑关系，在我们设计时，我们需要施加电压，经过某种单元，可以产生结果的电压。

实现与逻辑运算的单元电路称为与门，实现或逻辑运算的单元电路称为或门，实现非逻辑运算的单元电路称为非门（也称为反相器）。

与、或、非逻辑运算单元的常用图形符号如下：

当Ａ、Ｂ不同时，输出Ｙ为１；当Ａ、Ｂ相同时，输出Ｙ为０，这种逻辑称为异或逻辑。

Ｙ　＝　Ａ　＋　Ｂ　＝　Ａ　·　Ｂ‘　＋　Ａ’　·　Ｂ；

当Ａ、Ｂ相同时，Ｙ等于１，Ａ、Ｂ不同时，Ｙ等于０，这种逻辑称为同或逻辑。

Ｙ　＝　Ａ　·　Ｂ　＝　Ａ　·　Ｂ　＋　Ａ’·Ｂ’

异或和同或互为反运算。

在对于给定的布尔代数时，可能不是最简化的，我们需要化简

以逻辑变量作为输入，以运算结果作为输出，那么输入变量的取值确定之后，输出的取值便随之而定。因此，输出与输入之间是一种函数关系。这种函数关系称为逻辑函数。

下面利用一个三人表决器的电路设计来说明一些问题。此电路有三个输入（Ａ、Ｂ、Ｃ），一个输出（Ｙ），只有当两个及两个以上输入赞成时，Ｙ输出赞成。

设赞成为１，不赞成为０。图６　：三人表决器真值表

根据真值表中Ｙ为１的项列出来，对应的Ａ、Ｂ、Ｃ为１，则留下变量，为０，则留下反变量。

Ｙ　＝　Ａ＇ＢＣ　＋　ＡＢ’Ｃ　＋　ＡＢＣ’　＋　ＡＢＣ；

根据上述布尔表达式，我们得出逻辑电路图：

如果所有的逻辑都按照这种写法的话，那么很多的逻辑就会变的很复杂，并且会浪费很多的资源。我们考虑一下，电路既然是按照布尔表达式做出来的，那么布尔表达式能不能化简一下呢（利用图１－２９中的公式）？

Ｙ　＝　Ａ＇ＢＣ　＋　ＡＢ’Ｃ　＋　ＡＢＣ’　＋　ＡＢＣ；

＝　Ａ＇ＢＣ　＋　ＡＢＣ　＋　　ＡＢ’Ｃ　＋　ＡＢＣ　　＋　ＡＢＣ’＋ＡＢＣ；

＝　ＢＣ（Ａ＇　＋　Ａ）　＋　ＡＣ（Ｂ＋Ｂ＇）　＋　ＡＢ（Ｃ＋Ｃ＇）

＝　ＢＣ＋ＡＣ＋ＡＢ

上述布尔表达式所对应的逻辑电路图如下：

若我们不考虑中间的过程，只是考虑Ａ、Ｂ、Ｃ与Ｙ之间的关系，上述哪一种电路结构都是可以实现功能的。我们将上述两种电路称为等效电路。

我们可以将输入与输出之间的关系绘制出一副图，来表示它的逻辑关系。

除了上述几种方式表示逻辑关系外，我们还可以用卡诺图来表示逻辑关系

在ｎ变量逻辑函数中，若ｍ为包含ｎ个因子的乘积项，而且这ｎ个变量均以原变量或反变量的形式在ｍ中出现一次，则称ｍ为该组变量的最小项。

ｎ个变量有２＾ｎ个最小项，比如当ｎ　＝　３时，此逻辑函数应有２＾３　＝　８个最小项。比如一个３变量的逻辑函数，它有８个最小项，分别是：Ａ＇Ｂ＇Ｃ＇（０００），　Ａ＇Ｂ＇Ｃ（００１），　Ａ＇ＢＣ＇（０１０），　Ａ＇ＢＣ（０１１），　ＡＢ＇Ｃ＇（１００），　ＡＢ＇Ｃ（１０１），　ＡＢＣ＇（１１０），　ＡＢＣ（１１１）。他们分别可以用ｍ０－－－ｍ７表示。

根据定义可以得出：

输入变量的任何取值下有且仅有一个最小项为‘１’，其他为‘０’。

任意两个最小项之积为‘０’。

所有最小项之和为‘１’。

如果两个最小项之间只有一个因子不相同，则认为它们相邻。相邻的两个最小项之和就是把不相同的因子去掉。例如：ＡＢＣ　＋　ＡＢＣ＇　＝　ＡＢ（Ｃ＋Ｃ＇）　＝　ＡＢ。

在上述的三人表决器中，用最小项表示：Ｙ＝ｍ３＋ｍ５＋ｍ６＋ｍ７。

卡诺图是逻辑函数的一种图形表示。一个逻辑函数的卡诺图就是将此函数的最小项表达式中的各最小项相应地填入一个方格图内，此方格图称为卡诺图。卡诺图的构造特点使卡诺图具有一个重要性质：可以从图形上直观地找出相邻最小项。两个相邻最小项可以合并为一个与项并消去一个变量。

我们可以用圆圈圈出相邻的值为‘１’的最小项，注意只能是矩阵画（２，４，８·····）。左侧红色的圈为：ＡＢ＇Ｃ和ＡＢＣ，所以可以化简成ＡＣ。其他两个圈可以化简称为ＡＢ和ＢＣ。化简的时候也没有必要要写出来，直接看就好了，把对应位置中有变化的哪一项直接去掉就好了。例如：红色的圈圈出的两个就只有Ｂ发生了变化，所以直接去掉，就变成了ＡＣ。

注意卡诺图的数码表示，如有两位应该是　００、０１、１１、１０。因为卡诺图能够销项的原因是利用公式：ＡＢＣ　＋　ＡＢＣ＇　＝　ＡＢ（Ｃ＋Ｃ＇）　＝　ＡＢ。不能是００、０１、１０、１１，０１和１０是两个变量不同。

另外卡诺图在画圈时，可以认为是一个左右、上下都连接的表格，可以最左侧一个，最右侧一个，构成两个。因为它们同样满足相邻（只有一个变量不同）。