Complementare un espressione

[VYCanisMajoris]

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

[stephanboy2030]

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

[alev]

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.

[stephanboy2030]

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.

[VYCanisMajoris]

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...

[alev]

... e mi sto innervosendo...

Calma, calma, non sarebbe proprio il caso.

[RenzoDF]

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.

[RenzoDF]

la funzione non negata a me viene :


(se non erro può essere ancora minimizzata)

ok, ma forse puo' essere ridotta a

mentre quella negata :

non concordo con la tua espressione, a me risulta



ma posso sbagliare

[RenzoDF]

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

[stephanboy2030]

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.