Disgiunzione inversa

E' la disgiunzione inversa o incompatibilita' (ab)'

corrisponde alla disgiunzione inversa in logica

in forma normale disgiuntiva completa possiamo pensarla come

(ab)'= a'b'+a'b+ab'

per esercizio dimostriamolo algebricamente

(ab)' = a'+b' =           per il principio di dualita'

= a'+b' = (a'+b')(a+a') =           moltiplico per (a+a')=1 per la prima legge del complemento

= a'a + a'a' + ab' +a'b' =      sviluppo; a'a'=a' per la seconda legge dell'idempotenza e a'a=0 per la seconda legge del complemento

= a' + ab' + a'b' =           so che a'+a'b'=a' per la prima legge di assorbimento

= a' + ab' = a'(b+b')+a'b' =           moltiplico per (b+b')=1 il primo termine ed ottengo

= a'b + a'b' + a'b'

come volevamo