Tabela Verdade sem mistérios

Saudações Terráqueos!

Neste meu primeiro post vou abordar a tabela verdade com algumas dicas simples, mas que irão facilitar e muito a resolução de expressões complexas.

Tabela Verdade, Tabela de Verdade ou Tabela Variativa é um mecanismo muito utilizado para verificação de modelos lógicos e será muito importânte a sua compreensão para elaboração de sentenças condicionais quando estivermos programando, então apertem os sintos e vamos as dicas!

Como montar uma Tabela Verdade?

Imagine que você têm de montar uma tabela para a seguinte expressão: A ^ (B v C)
Neste exemplo temos três variáves (ou termos como quiserem) A, B e C. Então surge a pergunta: Quantas linhas se deve montar para esta tabela? Simples, pegue a quantidade de termos/variáveis como expoênte na base dois, então temos para nosso exemplo três termos/variáveis: 2³ = 8 linhas para nossa tabela.

Ainda não estamos prontos, precisamos atribuir aos termos/variáveis os valores de V ou F.

A B C

F F F

F F V

F V F

F V V

V F F

V F V

V V F

V V V

Neste exemplo, C alterna F e V como dois elevado a 0 que é 1, ou seja, 1 alternação por vez. Para B, F e V alternam como dois elevado a 1, ou seja, duas alternação por vez. Faça isto para quantos termos/variáveis você tiver no modelo, lembrando de começar com o ultimo termo/variável na base dois a partir de F.

Preciso decorar todas as combinações da tabela?

Claro que não! Para os exemplos a seguir assuma 1 para V e 0 para F, isto vai facilitar na compreensão das técnicas.

Conjunção (And, E, ^, &, *): Um operador de conjunção simplesmente multiplica A por B, veja o exemplo:
V(1) * V(1) = V(1)
V(1) * F(0) = F(0)
F(0) * F(0) = F(0)
F(0) * V(1) = F(0)

Disjunção (Or, Ou, v): Operadores do tipo disjunção podem ser analisados simplesmente como operadores de adição entre A e B conforme exemplo abaixo:
V(1) + V(1) = V(1)
V(1) + F(0) = V(1)
F(0) + F(0) = F(0)
F(0) + V(1) = V(1)

Implicação (->, =>, Se ... Então): Este operador só apresenta um valor falso (F) quando verdade (V) está no singular (V F):
V(1) -> V(1) = V(1)
V(1) -> F(0) = F(0)
F(0) -> F(0) = V(1)
F(0) -> V(1) = V(1)

Equalidade (==): Bem simples, verdadeiro (V) apenas quando os operadores são iguais, caso contrário o valor da expressão será falso (F):
V(1) == V(1) = V(1)
V(1) == F(0) = F(0)
F(0) == F(0) = V(1)
F(0) == V(1) = F(0)

Bom, espero que estas dicas sejam ùteis lembro que me ajudaram muito a entender o funcionamento da tabela.

Até a próxima!
Para dicas de POO (programação orientada a objeto) visitem meu blog: http://dr-objeto.blogspot.com/