.dsy:it. (http://www.dsy.it/forum/)
- Architettura degli elaboratori e delle reti (http://www.dsy.it/forum/forumdisplay.php?forumid=210)
-- [ESERCIZIO] Funzione logica (http://www.dsy.it/forum/showthread.php?threadid=36146)

[ESERCIZIO] Funzione logica

Sintetizzare la funzione logica A xor BC in entrambe le forme canoniche. Dimostrare che le due forme sono equivalenti, trasformando la prima nella seconda.

Dopo che ho ottenuto le due forme canoniche, come faccio a trasformare la prima nella seconda?? Con DeMorgan?

credo di si... io farei così...
qlk che ha una rx certa?

Ho già risolto... Si usa DeMorgan!
Per semplificare si prende la prima forma negata (si prendono i valori dove la funzione vale 0, non 1 come di solito accade) e poi si applica la 2° legge di DeMorgan: not (P or Q) = (not P) and (not Q)!!!

Originally posted by Marcoverga
Per semplificare si prende la prima forma negata (si prendono i valori dove la funzione vale 0, non 1 come di solito accade) e poi si applica la 2° legge di DeMorgan: not (P or Q) = (not P) and (not Q)!!!

Se neghi due volte la prima forma ottieni la prima forma...

Originally posted by Marcoverga
Se neghi due volte la prima forma ottieni la prima forma...

negando una sola volta viene l'opposto della seconda forma canonica...

http://homes.dsi.unimi.it/~pedersin/AER/AER08_L05.pdf

secondo quanto scrive pedersini neghi una volta sola, ma partendo dai maxtermini... mentre la sop è composta con i mintermini, che sono equivalenti ai maxtermini negati ( basta fare una tabella della verità per accorgersene )...
quindi partendo dalla sop, bisogna negare una volta per ottenere i maxtermini e poi seguire la procedura data da pedersini

no?

Originally posted by fain182
quindi partendo dalla sop, bisogna negare una volta per ottenere i maxtermini e poi seguire la procedura data da pedersini
no?