Algebre di Boole Flashcards
1
Q
Definizione Algebra Di Boole
A
Un’algebra di boole è un reticolo distributivo dove ogni elemento ha un complemento
Ogni algebra di boole è un isomorfo o un algebra di Insiemi ( Marshall Stone - 1936)
2
Q
Leggi di de Morgan
A
1) (A ∪ B )^c = A^c ∩ B^c
2) (A ∩ B )^c = A^c ∪ B^c
3
Q
Definizione Algebra Di Heyting
A
Un’ algebra di Heyting è un reticolo distributivo, dove per ogni coppia di elementi A e B, esiste lo pseudocomplemento di A rispetto B scritto A -> B ovvero:
- Ogni algebra di Boole è un’algebra di Heyting
