Verifica reticolo di Boole

[giuggiolo1]

Ciao a tutti!

Sappiamo che un reticolo è di Boole se:

*è distributivo
*ogni elemento ha complemento
*il reticolo è dotato di 0 e 1


Come faccio a verificare che sia distributivo?

Giulio

[dissonance]

Questa discussione starebbe molto meglio nella sezione Algebra, logica, teoria dei numeri e matematica discreta. Adesso chiedo a qualche mod di qui di spostarla. Inoltre, sarebbe opportuno portare un esempio, la tua domanda è troppo generica.

[giuggiolo1]

Mi scuso per aver sbagliato la sezione del forum.

Io vorrei sapere un metodo generale per verificare che un reticolo sia o meno distributivo. Adesso non ho esempi sotto mano ma penso che per un metodo generale non servano esempi.

Giulio