Semplificazione espressione booleana
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 ?
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 ?

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

Urca bravo!! Grazie !!!!
