Data Y = A B C' + A B + A C + C si ha:
Y = AB(C' + 1) + A C + C
Poiché C' + 1 = 1
Y = AB + A C + C
Y = AB + A C + C
Y = AB + C(A + 1)
Poiché A + 1 = 1
Y = AB + C
AB
00 01 11 10
C 0 1
1 1 1 1 1
=====================================================================
Data Y = A'B'C + AB' + A'B' + AB si ha:
Y = (A'B'C + A'B') + (AB' + AB)
Mettiamo in evidenza A'B' nel primo gruppo e A nel secondo:
Y = A'B'(C + 1) + A(B' + B)
Poiché C + 1 = 1 e B' + B = 1. Sostituendo si ha:
Y = A'B' + A = A + A'B'
Poiché 1+B' = 1 posso moltiplicare A per questo termine.
Y = A (1+B') + A'B' = A + AB' + A'B' = A + B'(A+A') = A + B'
Potevo arrivare a questo anche grazie al 2° teorema dell’assorbimento
AB
00 01 11 10
C 0 1 1 1
1 1 1 1
