a与非a的判定是判断谁是真谁是假的。打个比喻：如果明天下雨，那么地会湿 = A推B，或者明天不下雨，或者明天地会湿 = 非A或B（两者有一假，则另一个为真=如果明天下雨，那么地会湿=A推B）。

数字逻辑电路注意：

对于逻辑函数式，若将其中的与换成或，或换成与；并将1换成0，0换成1；所得的新的函数式就是L的对偶式。n个变量(X1, X2, …, Xn)的最小项就是n个因子的乘积，在该乘积中每个变量都以它的原变量或非变量的形式出现一次，且仅出现一次。