Semplificazione espressione booleana

lordb
Ciao a tutti,
l'espressione da semplificare è questa

$(x and y) or (y and z) or (not x and z)$

in

$(x and y) or (not x and z)$.

Mi piacerebbe vedere come ricavare l'equivalenza senza sfruttare le semplici dimostrazioni fattibili con:

-diagrammi di Eulero-Venn,
-tabelle di verità,
-insiemi finiti.

Un'idea sarebbe utilizzare in qualche modo i teoremi di idempotenza e simili...

Aiutino ? :-D

Risposte
perplesso1
Ho trovato una soluzione abbastanza lunghetta, spero di non spaventarti :-D Ho usato tutto: distributività, idempotenza, leggi di assorbimento etc etc... Ho enumerato i vari passaggi.


lordb
Urca bravo!! Grazie !!!! :-D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.