Distributività AND e OR
Salve a tutti! Come posso dimostrare la distributività dell'AND rispetto all'OR e dell'OR rispetto all'AND senza ricorrere alle "tavole della verità" in cui valutare tutti i casi? praticamente dovrei dimostrare che
$x AND (y OR z) = (x AND y) OR (x AND z)$
ed inoltre che
$x OR (y AND z) = (x OR y) AND (x OR z)$
magari non mi date la soluzione, ma portatemi sulla retta via
$x AND (y OR z) = (x AND y) OR (x AND z)$
ed inoltre che
$x OR (y AND z) = (x OR y) AND (x OR z)$
magari non mi date la soluzione, ma portatemi sulla retta via

Risposte
E perché con le tavole di verità non va bene?
Il più elementare è ricorrere ai diagrammi di Venn.
Non è che non va bene, semplicemente mi chiedevo se esistesse un metodo alternativo... come fare con venn?