Omologia
E' l'omologia
ab+a'b'
corrisponde alla
coimplicazione in logica
: e'
1
solamente se entrambe i componenti sono uguali
E' gia' in forma normale disgiuntiva completa