(1) A.0=0
(2) A.1=A
(3) A.A=A
(4) A.A¯=0
(5) A+0=A
(6) A+1=1
(7) A+A=A
(8) A+A¯=1
(9) A+B=B+A
(10) A.B=B.A
(11) A+(B+C)=(A+B)+C=A+B+C
(12) A(B.C)=(A.B).C=A.B.C
(13a) A(B+C)=AB+AC
(13b) (A+B).(C+D)=AC+AD+BC+BD
(14) A+(AB)=A
(15a) A+(A¯B)=A+B
(15b) A¯+(AB)=A¯+B
(a) AB¯C+A¯B¯C¯+AB¯C¯=...
(b) AB¯D+AB¯D¯+A¯BD=...
(c) (A¯+B).(A+B)=...
(d) ACD+A¯BCD=...
(e) S=AC¯+ABC¯=...
(f) S=A¯B¯CD¯+A¯B¯C¯D¯=...
(g) S=A¯D+ABD=...
(16) (A+B‾)=A¯.B¯
(17) (A.B‾)=A¯+B¯
S=A¯B¯CD¯+A¯BCD+AB¯C¯D¯+AB¯CD¯+ABC¯D+ABCD
S=A¯B¯C¯D¯+A¯B¯C¯D+A¯B¯CD+A¯BC¯D¯+A¯BC¯D+A¯BCD¯+AB¯C¯D¯+AB¯C¯D+AB¯CD+ABC¯D¯+ABCD¯