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

Conteúdo apagado Conteúdo adicionado
bot: revertidas edições de 62.28.211.50 ( modificação suspeita : -15), para a edição 50062605 de 201.47.163.77
Linha 1:
Os teoremas de 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: