CONSTRUO DE

TABELAS VERDADE

Aluno(a), neste captulo aprenderemos a montar uma tabela

verdade de acordo com os conectivos lgicos estudados no captulo
anterior.

3.1 PRECEDNCIA E OPERADORES

Formalmente, no haveria necessidade de definir precedncia entre
conectivos lgicos, pois as proposies sintaticamente corretas deveriam
utilizar tantos parnteses quanto necessrios.
A tabela abaixo mostra os passos a serem seguidos sobre a ordem de
procedncia das proposies.
Ordem de Precedncia
Passo 1

Percorra a expresso da esquerda para a direita, executando as

operaes de negao, na ordem em que aparecerem.

Passo 2

Percorra novamente a expresso, da esquerda para a direita,

executando as operaes de conjuno e disjuno, na ordem em
que aparecerem.

Passo 3

Percorra outra vez a expresso, da esquerda para a direita,

executando desta vez as operaes de condicionamento, na ordem
em que aparecerem.

Passo 4

Percorra uma ltima vez a expresso, da esquerda para a direita,

executando as operaes de bicondicionamento, na ordem em que
aparecerem.

Exemplo:
De acordo com os passos acima, a ordem de precedncia est indicada
pelos nmeros.
p ^ ~q r v s
2

20

Fernanda Cristina Toso de Assis

1-Quando aparecem duas negaes consecutivas, a segunda

negao executada primeiro.
2Quando for necessrio modificar a ordem de precedncia,
podemos utilizar os parnteses.

3.2 CONSTRUO DA TABELA VERDADE

Nas composies de proposies compostas, o valor lgico da mesma
depende unicamente dos valores lgicos das proposies simples,
ficando por eles univocamente determinado.
Para montar a tabela verdade de uma proposio composta, siga os
seguintes passos:
Construo da tabela verdade

Passo 1

Montar a tabela com as linhas e colunas. O total de linhas deve ser

calculado por 2n (n = nmero de proposies). Cada coluna deve
ser uma proposio simples com resultados diretos ou proposies
compostas respeitando a precedncia de operadores. A negao
de um elemento simples tambm deve ser inserida, caso exista.

Passo 2

Inserir os elementos V ou F para os elementos bases. Na primeira

coluna, deve-se alternar entre um V e um F at preencher a coluna.
Para as demais colunas, basta dobrar o nmero de Vs e Fs em
relao coluna anterior at o preenchimento total de cada coluna.

Passo 3

Inserir os elementos da prxima coluna respeitando a ordem de

precedncia e assim sucessivamente at a ltima coluna.

Exemplo:
a) Construir a tabela verdade de ~(p^~q).
Soluo:
Passo 1: 4 linhas, pois 22 = 4 linhas e n = 2.
Passo 2: Mostrada na tabela nas 2 primeiras colunas.
Passo 3: Construo da tabela de acordo com a ordem de precedncia.

21

Licenciatura em Informtica
p

~q

p^~q

~(p^~q)

Ordem de precedncia

b) Construir a tabela verde de p^~q rvs.

Soluo:
Passo 1: 16 linhas, pois 24 = 16 linhas e n = 4.
Passo 2: Mostrada na tabela nas quatro primeiras colunas.
Passo 3: Construo da tabela de acordo com a ordem de precedncia
dos conectores.
p

~q

p^~q

rvs

p^~q rvs

Ordem de Precedncia

22

Fernanda Cristina Toso de Assis

Construa a tabela verdade para cada item abaixo:

a) ~ (p v ~q)
b) p ^ q p v q
c) q ~q ^ p
d) (p ~q) q p
e) ~p ^ r q v ~r
f) (p ^ q r) v (~p q v ~r)
g) ~p v ~q
h) p v ~q
i) (p p v q) ^ (r q)

___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________