74 lines
3.6 KiB
Markdown
74 lines
3.6 KiB
Markdown
---
|
||
title: Truth Tables
|
||
localeTitle: Tabelas Verdade
|
||
---
|
||
## Tabelas Verdade
|
||
|
||
Uma tabela de verdade é uma ferramenta matemática usada na álgebra booleana. Consiste em uma coluna cada para as variáveis de função. Uma coluna final contém o valor funcional avaliado para os valores correspondentes das variáveis. Para uma função booleana de n variáveis, sua expansão da tabela de verdade terá 2 ^ n linhas. Isto é porque cada variável tem dois estados possíveis - verdadeiro e falso.
|
||
|
||
### E
|
||
|
||
Vamos explorar a tabela de verdade para o operador AND:
|
||
|
||
| x | y | x AND y | | --- | --- | --- | | F | F | F | | F | T | F | | T | F | F | | T | T | T |
|
||
|
||
AND é operador binário. Ele opera em duas variáveis, digamos `x` , `y` .
|
||
|
||
Assim, temos 2 ^ 2 = 4 colunas na nossa tabela de verdade!
|
||
|
||
A última coluna é o valor funcional - x AND y. A lógica para a operação AND é que, se os valores de x e y forem ambos True apenas, a saída terá o valor True else, seria False.
|
||
|
||
Da mesma forma tabelas de verdade para outros operadores lógicos -
|
||
|
||
### NÃO
|
||
|
||
| x | NÃO X | | --- | --- | | F | T | | T | F |
|
||
|
||
### OU
|
||
|
||
| x | y | x ou y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | T |
|
||
|
||
### XOR
|
||
|
||
| x | y | x XOR y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | F |
|
||
|
||
Operador OR:
|
||
|
||
| x | y | x ou y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | T |
|
||
|
||
NÃO operador:
|
||
|
||
| x | NÃO x | | --- | --- | | F | T | | T | F |
|
||
|
||
Operador de Implicação:
|
||
|
||
| x | y | x IMPLICAR y | | --- | --- | --- | | F | F | T | | F | T | T | | T | F | F | | T | T | T |
|
||
|
||
O operador de implicação muitas vezes pode ser confuso para alguns. É útil relacionar exemplos do mundo real para auxiliar a compreensão desse operador. Por exemplo, considere: Se estiver chovendo, eu uso um guarda-chuva. Aqui, assumindo que está chovendo, então eu uso um guarda-chuva (declaração segura) Mas se está chovendo e eu não uso um guarda-chuva, então a declaração não é válida. Apesar disso, se não está chovendo, e eu ainda uso um guarda-chuva, então a afirmação também é válida (não importa realmente se o guarda-chuva é usado ou não, já que não está chovendo. Embora pareça bastante estranho).
|
||
|
||
No entanto, o operador de implicação pode ser intrigante para proposições envolvidas que são falsas no mundo real. Considerar: Se o sol for feito de água, então 1 + 1 = 3. De acordo com a tabela de verdade da implicação, essa fórmula proposicional é verdadeira.
|
||
|
||
P implica que Q também pode ser pensado como uma abreviação para NOT (P) OR Q.
|
||
|
||
Operador de implicação dupla:
|
||
|
||
| x | y | x <-> y | | --- | --- | --- | | F | F | T | | F | T | F | | T | F | F | | T | T | T |
|
||
|
||
Tabelas de verdade são uma ferramenta poderosa. Eles podem ser usados para expressar e avaliar funções e operações booleanas simples, circuitos combinacionais complexos e circuitos lógicos sequenciais!
|
||
|
||
Aqui está a tabela de verdade para o operador OR
|
||
|
||
| x | y | x ou y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | F |
|
||
|
||
Assim como acima, o operador OR opera com duas variáveis, observe que a única vez que o operador OR é avaliado como True é quando `x` & `y` nega um ao outro.
|
||
|
||
Vamos fazer mais um, vamos fazer a tabela para a Negação, esta opera em um valor ao invés de dois
|
||
|
||
| x | NÃO x | | --- | --- | | T | F | | F | T |
|
||
|
||
Esta regra é mais simples e simplesmente nega o valor original de `x`
|
||
|
||
#### Mais Informações:
|
||
|
||
* [Hiperfísica - Universidade Estadual da Geórgia](http://hyperphysics.phy-astr.gsu.edu/hbase/Electronic/truth.html)
|
||
* [Wikipedia](https://en.wikipedia.org/wiki/Truth_table) |