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.