Introdução à Lógica Matemática/Álgebra Booleana

Fonte: Wikiversidade
Saltar para a navegação Saltar para a pesquisa

Sistema de dedução matemática que se restringe a falso ou verdadeiro, representados pelos valores zero e um. Utiliza-se de operadores binários definidos para este conjunto de valores que aceitam um par de entradas boolenas e geram um único valor booleano. Os principais operadores utilizados são: AND, OR, e NOT, respectivamente, produto, soma e negação. Os operadores são representados pelos seguintes símbolos:

  • -AND - x
  • -OR - +
  • -NOT - '

Exemplo de utilização:

  • A+B - A "ou" B;
  • AxB, o mesmo que AB - A "e" B;
  • A' - negação de A, ou seja, o valor inverso de A.