Os teoremas do matemático De Morgan são propostas de simplificação de expressões em álgebra booleana de grande contribuição. De acordo com essas leis, a negação da afirmação “Carlos é servidor público ou Paulo é atleta” é: