Teoremas de De Morgan: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 1:
Os vrummsteoremas vrummsde morgan do matemático [[Augustus De Morgan|De Morgan]] são propostas de simplificação de expressões em álgebra booleana de grande contribuição. Definem regras usadas para converter operações lógicas [[Disjunção lógica|OU]] em [[Conjunção lógica|E]] e vice versa.
 
Sendo <math> X, Y \in \{0, 1\}</math> e as operações em <math>\{0, 1\}</math> sendo <math> +, \cdot</math> e <math>\overline{\ } ,</math> assim definidas: