Postulados (ou Axiomas)

Postulados (ou Axiomas)

1. Na matemática são verdades que dispensam explicação, pois foram comprovadas.

   • "A ordem dos fatores não altera o produto."
     • A + B = B + A
     • "A menor distância entre dois pontos é uma linha reta."

2. Postulado da adição na soma de binários, PORTA OR

   • A + 0 = A A + 1 = 1 A + A = A A + A' = 1
   • Qualquer variável somada a ela mesma é a própria variável
     • A variável mais seu completo é igual a 1
       • A + A' = 1
         • Se A = 1 então A' = 0, portanto 1 + 0 = 1
     • A + A = A

3. Postulado da complementação (ou negação, porta NOT)

   • Negação é inversão da variável/sinal
     • Se A então A'
       • Se A for negada duas vezes, uma negação anula outra negação
         • A'' = A

4. Propriedades algébricas

   • Propriedade comutativa
     • Porta OR
       • A + B = B + A
     • Porta AND
       • A . B = B . A
   • Propriedade Associativa
     • A + (B + C) = (A+B) + C
       • Simplificação
         • A+B+C
   • Propriedade distributiva
     • AB + AC
       • Simplificação
         • A(B+C)

5. 1° Teorema de Morgan

   • O complemento do produto é igual a sua soma
     • (ABCD...N)' = A' + B' + C'+ D'...N'
       • AB = (A'+B')'
   • 2° Teorema de Morgan
     • O complemento da soma é igual ao produto dos complementos
       • (A+B+C...+ N)' = A'.B'.C'...N'
     • Converte-se a função OR em AND
       • Complementa individualmente as variáveis ou termo
         • Complementa-se toda empressão
           • S = (A'.B'.C'.D')'
   • Converte-se a função AND em OR
     • Complementa individualmente as variáveis ou termo