the.track
the.track - Genius - 12440 Punti
Rispondi Cita Salva
Dovrei dimostrare il teorema di De Morgan in modo possibilmente abbastanza formale.

Se opero in questo modo è corretto? Ha fatto così anche il mio professore, ma mi sembra un po' campata in aria come dimostrazione

Il teorema dice:

[math]\bar{a \cup b}=\bar{a} \cap \bar{b}[/math]

e

[math]\bar{a\cap b}=\bar{a}\cup \bar{b}[/math]

Suppongo che questo teorema valga, allora:

[math]\(a \cup b \) \cap \( \bar{a\cup b}\)=\\
\\
[/math]
[math]
(a \cup b)\cap \( \bar{a} \cap \bar{b}\)= \\
\\
\bar{b}\[ \(a\cap \bar{a}\) \cup \(\bar{a}\cap b\) \]=\\
\\
\bar{b}\cap \bar{a}\cap b =\\
\\
\bar{a}\cap b \cap \bar{b}=0[/math]

Funziona se dico così?

Mi pare un cane che si morde la coda.
Aleksej
Aleksej - Mito - 20002 Punti
Rispondi Cita Salva
spero che sia quello che ti serve.
clicca qui

c'è una breve introduzione e poi al punto 1.3 spiega i teoremi di de morgan
xico87
xico87 - Mito - 28236 Punti
Rispondi Cita Salva
l'algebra booleana è una sestupla:
{A,+,*,',1,0}

- A è il supporto dell'algebra, ossia contiene i valori assunti dalle variabili (che nell'algebra di commutazione sono 1 e 0).
- 0 e 1 sono rispettivamente l'elemento neutro della somma logica (unione) e del prodotto logico (intersezione).
- + (unione) e * (intersezione) sono operatori duali, cioè hanno bisogno di due operandi ("*" si può omettere, come nei normali prodotti)
- ' è il simbolo di negato ed è un'operatore unario (l'equivalente del complementare)

ad occhio ha fatto un'operazione ignota al terzo passaggio (il b' cosa fa? moltiplica?)

con le convenzioni dei segni sopra descritte, sfruttando la distributività, dal secondo passaggio diventa così:

(a+b)(a'b') = aa'b' + a'b'b = 0

questa è una prova a posteriori (conosci il risultato e fai vedere che deve funzionare: se (a+b)' fosse diverso da a'b', allora quest'ultimo non sarebbe il complementare di (a+b), quindi non otterresti 0 come risultato)
the.track
the.track - Genius - 12440 Punti
Rispondi Cita Salva
Capito. Grazie ad entrambi, risolto il problema. :)

Chiudo anche il thread. :)
ciampax
ciampax - Tutor - 29109 Punti
Rispondi Cita Salva
Mi permetto di aggiungere una dimostrazione insiemistica:

[math]x\in\overline{A\cup B}\quad\Leftrightarrow\quad x\notin A\cup B\quad\Leftrightarrow\quad x\notin A\quad\wedge\quad x\notin B\quad\Leftrightarrow\quad\\ x\in\overline{A}\quad\wedge\quad x\in\overline{B}\quad\Leftrightarrow\quad x\in\overline{A}\cap\overline{B}[/math]

Spero sia utile.
Questo topic è bloccato, non sono ammesse altre risposte.
Come guadagno Punti nel Forum? Leggi la guida completa
In evidenza
Classifica Mensile
Vincitori di novembre
Vincitori di novembre

Come partecipare? | Classifica Community

Community Live

Partecipa alla Community e scala la classifica

Vai al Forum | Invia appunti | Vai alla classifica

mc2

mc2 Genius 281 Punti

Comm. Leader
eleo

eleo Moderatore 18296 Punti

VIP
Registrati via email