Progetto:Matematica/Elenco di voci sull'algebra booleana
Vai alla navigazione
Vai alla ricerca
- algebra booleana
- algebra booleana monadica
- algebra booleana topologica
- algebra di Heyting
- algebra di Lindenbaum
- algebra interna
- George Boole
- connettivo - vedi operatore logico
- Augustus De Morgan
- condizione di indifferenza
- diagramma di Venn
- dualità (teoria degli ordini)
- dualità di Stone
- forma canonica (algebra booleana)
- funzione booleana
- leggi di de Morgan
- Distanza di Hamming
- implicanti
- Don't care
- logica proposizionale
- mappa di Karnaugh
- maxtermine
- minimizzazione delle funzioni booleane
- mintermine
- omomorfismo booleano
- operatore logico
- porta logica
- sistema formale
- Spazio di Stone - vedi teorema di rappresentazione di Stone per le algebre booleane
- Marshall Harvey Stone
- tavola di verità
- tabella di verità
- teorema del consensus
- teorama dell'ideale primo booleano
- teorema di compattezza
- teorema di rappresentazione di Stone per le algebre booleane