Teoremas de De Morgan
De Wikipedia, a enciclopédia encyclopedia
Os teoremas do matemático 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 OU em E e vice versa.
Sendo e as operações em sendo e assim definidas: