NOT 是说输入值和输出值是相反的；BUF 是说输入值和输出值是相等的。
AND 是两个输入值都为1 时才会输出1，只要有一个值是0输出结果都是0
OR 是两个输入值都为0时才会输出0，只要有一个数字是1输出结果都是1
XOR 相当于输出值是两个输入值相加的结果；
NAND 是两个输入值AND后的NOT；
NOR 是两个输入值OR后的NOT；
XNOR 是两个输入值XOR后的NOT。
Complement 补码
Implicant 字面量的乘积 Minterm ：包含所有输入变量的乘积 类似于多个输入值的AND（因为只要多个输入变量里有一个是0，乘积都为0，故“最小”）
Maxterm：包含所有输入变量的和 类似于多个输入值的OR（因为只要多个输入变量里有一个是1，和都为1，故“最大”）