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

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.