|
E' la contro-indipendenza diretta b' corrisponde alla contro-indipendenza diretta in logica in forma normale disgiuntiva completa possiamo pensarla come b'= a'b'+ ab' per dimostrarlo algebricamente basta moltiplicare per (a'+a)=1 e, per la prima legge del complemento, otteniamo b' = b' (a'+a) = a'b' + ab' = come volevamo |