四个输入变量A,B,C,D一共有16中组合
然后分AB CD两组形成 4x4的矩阵
红色线部分是F1,
原式
F1=(A+^B+^C)*(^A+B+C)*(A+^C+^D)*(A+^B+D)*(^A+B+D)
两边取反
^F1=^(A+^B+^C)+^(^A+B+C)+^(A+^C+^D)+^(A+^B+D)+^(^A+B+D)
=^ABC+A^B^C+^ACD+A^B^D+A^B^D
而 ^ABC+A^B^C+^ACD+A^B^D+A^B^D 的卡诺图如下
实际上就是用了逻辑运算的摩根定律
^(A*B)=^A+^B
^(A+B)=^A*^B
(其中 *表示与,+表示或,^表示非)