|
E' L'implicazione inversa a' + b corrisponde alla implicazione materiale in logica in forma normale disgiuntiva completa possiamo pensarla come a'+b= a'b'+a'b+ab per esercizio dimostriamolo algebricamente 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 aa'=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')+ab = moltiplico per (b+b')=1 il primo termine ed ottengo = a'b + a'b' + ab = ordino ed ottengo = a'b' + a'b + ab come volevamo |