Álgebra booliana: diferenças entre revisões

Uma álgebra booleana é uma [[enupla|6-upla]] <math>(X, \vee, \wedge, \neg, 0, 1)</math> consistindo de um conjunto <math>X</math> munido de duas [[operação binária|operações binárias]] <math>\vee</math> (também denotado por <math>+</math>, é geralmente chamado de "[[disjunção lógica|ou]]") e <math>\wedge</math> (também denotado por <math>\ast</math> ou por <math>\cdot</math>, é geralmente chamado de "[[conjunção lógica|e]]"), uma [[operação unária]] <math>\neg</math> (também denotada por <math>\sim</math> ou por uma barra superior, é geralmente chamado de "[[negação|não]]"), e duas [[constante matemática|constantes]] <math>0</math> (também denotada por <math>\bot</math> ou por <math>F</math>, geralmente chamado de "zero" ou de "falso") e <math>1</math> (também denotada por <math>\top</math> ou por <math>V</math>, geralmente chamado de "um" ou de "verdadeiro"), e satisfazendo os seguintes axiomsaxiomas, [[quantificação universal|para quaisquer]] <math>a, b, c \in X</math>: