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.
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/
