Uma tabela verdade é uma tabela matemática usada em lógica e pode ser usada para ver se uma proposição lógica é verdadeira para qualquer valor de entrada. As tabelas verdade são usadas principalmente em conexão com álgebra booleana, funções booleanas e cálculo proposicional. Uma tabela verdade possui uma coluna para cada variável de entrada, por exemplo, A e B e uma linha para cada combinação possível das variáveis de entrada sendo verdadeiras e falsas. Outras colunas são então adicionadas para cada operador lógico, como “E”, “Ou” e “XOR” e os resultados desses operadores para cada combinação de entradas.
Technipages explica a tabela da verdade
O filósofo austríaco Ludwig Wittgenstein é geralmente creditado por inventar e popularizar a tabela da verdade em um livro publicado em 1921, embora outro filósofo Charles Sanders Peirce tenha sido descoberto por tê-los inventado em 1893 em um manuscrito que nunca foi Publicados.
Existem 16 operações possíveis que podem ser realizadas sobre duas variáveis verdadeiras ou falsas. Essas operações são: Contradição - isso é sempre falso; NOR lógico - verdadeiro apenas quando nem A nem B são verdadeiros; Não-implicação inversa - é verdadeiro onde B é verdadeiro e A é falso; Negação - só é verdadeira quando A é falso, não importa o valor de B; Não implicação material - é verdadeira quando A é e B não; Negação - disjunção exclusiva; NAND lógico; Conjunção lógica; Bicondicional lógico; Função de projeção; Implicação material; Função de projeção; Implicação inversa; Disjunção lógica e tautologia.
Cada um deles tem seus próprios usos e propósitos, é claro, mas eles têm uma coisa em comum: eles são executados com o uso de uma ou duas variáveis verdadeiro / falso. Devido à natureza simples (se não fácil de entender) dessas variáveis e operações, é possível dividir operações complicadas em um pequeno conjunto de elementos - valores verdadeiro / falso e os anteriores operações.
Usos comuns da tabela da verdade
- Uma tabela verdade é uma tabela matemática usada em lógica.
- Cada linha da tabela verdade contém uma configuração possível das variáveis de entrada.
- As tabelas de verdade podem ser usadas para provar equivalências lógicas.
Mau uso comum da tabela da verdade
- As tabelas verdade verificam se os dados em uma tabela ou banco de dados estão corretos.