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 |