Discussione: De Morgan
View Single Post
Old 20-10-2003, 10:44   #17
misterx
Senior Member
 
Iscritto dal: Apr 2001
Città: Milano
Messaggi: 3736
Quote:
Originariamente inviato da monkey72
se X ed Y sono due insiemi di variabili allora per dimostrare la prima
!(X && Y) = !X||!Y
devi dimostrare le due implicazioni:
1) !(X and Y) contenuto in !X or !Y
infatti se x (variabile) appartiene a !(X and Y) esso appartiene al complementare dell'intersezione ma non all'intersezione, cioè non appartiene o ad X o ad Y e quindi appartiene al complementare di X o al complementare di Y
2) !(X and Y) contiene !X or !Y
analogamente se x appartiene !X or !Y allora x non appartiene ad X oppure non apprtiene ad Y quindi non apparterrà ad X and Y quindi appartiene al complementare !(X and Y)

avendo dimostrato i due contenimenti hai dimostrato l'uguaglianza.
me le ricordo x gli insiemi io le formule di de morgan... spero possa esserti utile cmq





ok, allora se mi parli di insiemi avrei dovuto scivere così:


!(X \/ Y) = !X||!Y


giusto ?
misterx è offline   Rispondi citando il messaggio o parte di esso