ElectroYou

Salve ragazzi, allora, il testo dell' esercizio chiede di trovare l'espressione complementare a questa:
~X Y (~W + Z) + ~(~X W (Y + W ~Z))
io ho eseguito cosi:
(~X + Y + ~W Z) (X + ~W + ~Y (~W + Z))

Per controllare se ho fatto bene i conti uso logisim e confronto le tabelle di verità, che sono rispettivamente:

Ovviamente non mi aspetto che siano uguali, perche in una complementare gli 1 vengono scambiati con gli 0, e proprio per questo io mi aspettavo due tabelle di verità completamente invertite, ovvero dove prima c'erano degli 1 ora ci sono degli 0, e viceversa. Invece a me questo succede solo per quei 4 valori che vi cerchiato...
Dove ho sbagliato?? Sono 2 ore che ci ragiono sopra...
Vi ringrazio anticipatamente!

Francesco

Prima di tutto ti consiglio di :

- usare come simbolo di negazione l'apice [ ' ]
- portare tutto in somme di prodotti
- utilizzare i teoremi di De Morgan : http://it.wikipedia.org/wiki/Teoremi_di_De_Morgan

Benvenuto sul forum di ElectroYou.

Ti segnalo che su questo forum non è gradito l'uso di siti esterni per le immagini; le foto possono essere messe direttamente nei post, con dimensione massima 640x480 e mediante la funzione Invia allegato che trovi in basso (usa l'opzione "in linea con il testo"); se hai bisogno di ridurre le dimensioni, usa un software (tipo Paint) che supporti tale funzione.

Per le formule è opportuno l'utilizzo di LaTex che migliora sensibilimente la leggibilità della formula, da inserire nel messaggio usando il tag tex; per semplificare chi è alle prime armi con LaTex è comodo usare questo strumento online.

Comunque :

la funzione non negata a me viene :


(se non erro può essere ancora minimizzata)

mentre quella negata :



che facendo al volo la tavole di verità mi sembrano opposte.

Da molto che non tocco questo argomento quindi potrei sbagliarmi.

Bravo, sono corrette, l ho controllate col programma! a me interessa la prima... Ti prego scrivimi i passaggi perche io davver non ne vengo a capo... e mi sto innervosendo...

VYCanisMajoris ha scritto:... e mi sto innervosendo...

Calma, calma, non sarebbe proprio il caso.

VYCanisMajoris ha scritto:Salve ragazzi, allora, il testo dell' esercizio chiede di trovare l'espressione complementare a questa:
~X Y (~W + Z) + ~(~X W (Y + W ~Z))
io ho eseguito cosi:
(~X + Y + ~W Z) (X + ~W + ~Y (~W + Z))

Direi proprio che non va bene, ma se non ci fai vedere i passaggi non possiamo aiutarti.

stephanboy2030 ha scritto:la funzione non negata a me viene :


(se non erro può essere ancora minimizzata)

ok, ma forse puo' essere ridotta a

stephanboy2030 ha scritto:mentre quella negata :

non concordo con la tua espressione, a me risulta



ma posso sbagliare

Risolvento all'idraulica, ovvero senza usare particolare relazioni notevoli ma solo De Morgan, avremo che



a questo punto, ricordando che un insieme "assorbe" le sue intersezioni, e non cambia se intersecato all'insieme "universo" ... come lo chiamavo io da giovane e che 1+k=1



avremo che



e di conseguenza per la negata

Il risultato della serie di passaggi lo ottengo anche io. La prima espessione nella graffa mi sta bene, ma la seconda non ho capito cosa hai fatto.



è il risultato dopo la prima espressione della graffa. Fin qui concordo.