Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi A - F > Architettura degli elaboratori e delle reti
 
[ESERCIZIO] Funzione logica
Clicca QUI per vedere il messaggio nel forum
Marcoverga
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?

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

Marcoverga
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)!!!

fain182
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)!!!

io sapevo che bisognava negare 2 volte la prima forma e poi bisognava applicare de Morgan, no?

Marcoverga
Se neghi due volte la prima forma ottieni la prima forma... :D

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

lo so ank'io :look: ...
ma se fai i calcoli negando una sola volta viene l'opposto della seconda forma canonica...
non per niente la prima e la seconda forma canonica sono equivalenti...

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


Poi applichi la 2° legge di DeMorgan che ti fa ottenere la 2°FC! :D

Io l'ho risolta così... C'è anche sulle slide di Pedersini! (me ne sono accorto dopo, per questo ho fatto il thread...)

fain182
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?

Marcoverga
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?


Quello che intendevo dire io...

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate