Reticolo e Reticolo di Boole: cosa sono?!

[Matrixbob]

Boole so chiaramente chi è, una personsa di qualche secolo fa a cui noi tutti dovremmo dire grazie, ma la definizione di reticolo mi sfugge ... soprattutto perchè trovo un sacco di definizioni, tipo: reticolo ditributivo.

[Ziosilvio]

Un reticolo è un insieme parzialmente ordinato tale che, per ogni coppia di elementi a e b, esistono un minimo comune maggiorante (indicato con a v b, a join b) e un massimo comune minorante (indicato con a ^ b, a meet b).
Nota che in un reticolo le seguenti affermazioni sono equivalenti (ESERCIZIO: dimostrare):
- x<=y;
- x ^ y = x;
- x v y = y.

Un reticolo è distributivo se meet e join soddisfano le leggi distributive:
- a ^ (b v c) = (a ^ b) v (a ^ c);
- a v (b ^ c) = (a v b) ^ (a v c).

Un reticolo booleano, o algebra di Boole, è un reticolo distributivo complementato, ossia tale che:
- esiste un elemento 1 tale che x<=1 per ogni x;
- esiste un elemento 0 tale che 0<=x per ogni x, e che è distinto da 1;
- per ogni x esiste un complemento x' xhe soddisfa x ^ x' = 0 e x v x' = 1.

[ChristinaAemiliana]

http://www.silab.dsi.unimi.it/~ss377827/grafi/supporto.htm

Mi sembra abbastanza chiaro ;)

[Matrixbob]

Siente 2 arcangeli della scienza! Una vostra statua virtuale all'ingresso del forum dovrebbe essere posata.:idea: :ave: :rotfl: :hic: