|
E' L'implicazione diretta a + b' corrisponde alla implicazione diretta in logica in forma normale disgiuntiva completa possiamo pensarla come a+b' = ab + ab' +a'b' per esercizio dimostriamolo algebricamente a+b' = (a+b')(a+a') = moltiplico per (a+a')=1 per la prima legge del complemento = aa + aa' + ab' +a'b' = sviluppo; aa=a per la seconda legge dell'idempotenza e aa'=0 per la seconda legge del complemento = a + ab' + a'b' = so che a+ab'=a per la prima legge di assorbimento = a + a'b' = a(b+b')+a'b' = moltiplico per (b+b')=1 il primo termine ed ottengo = ab + ab' +a'b' come volevamo |