Após ler alguns livros, estou respondendo a minha própria pergunta com mais detalhes e dando ênfase ao que realmente é importante e a qual foi o intuito da pergunta..

[![inserir a descrição da imagem aqui][1]][1]


Seguindo a **Tabela Verdade** acima é possível notar a diferença entre as **portas lógicas** e o mais importante, que é o **"tipo de simbologia da barragem" das entradas"**. 

Utilizando estas entradas como exemplo:

[![inserir a descrição da imagem aqui][2]][2]

Podemos observar que as saídas de [![inserir a descrição da imagem aqui][3]][3] é diferente de [![inserir a descrição da imagem aqui][4]][4], pela seguinte questão:

- A **primeira expressão booleana** está barrando as entradas `A` e `B`
- A **segunda expressão booleana** está barrando as saídas da porta lógica `AND` das entradas `A` e `B`. Sabendo-se disto com a **"simbológica desta barragem"**, devemos aplicar o **Teorema de De Morgan**. 

**Nota**
> Com a aplicação do teorema na segunda expressão podemos observar que na verdade ela é: [![inserir a descrição da imagem aqui][5]][5] **(tanto que esta mesma expressão booleana possui a mesma saída da expressão booleana** [![inserir a descrição da imagem aqui][6]][6]**).** 
>
> O mesmo vale para a expressão booleana [![inserir a descrição da imagem aqui][7]][7], quando aplicado o teorema citado esta expressão é equivalente a: [![inserir a descrição da imagem aqui][8]][8].


  [1]: https://i.sstatic.net/A0ITX.png
  [2]: https://i.sstatic.net/hoVdP.png
  [3]: https://i.sstatic.net/dqCXg.png
  [4]: https://i.sstatic.net/LQC7w.png
  [5]: https://i.sstatic.net/q2O9p.png
  [6]: https://i.sstatic.net/RRxab.png
  [7]: https://i.sstatic.net/z0oEN.png
  [8]: https://i.sstatic.net/pqGdl.png