
Next: Cálculo de Predicados Up: Aplicações do
Cálculo Proposicional Previous: Álgebra das Fórmulas
- A.
- Forma disjuntiva normal.
- 1.
- Para cada uma das colunas (a)--(e) na tabela de verdade abaixo
determine uma fórmula na forma disjuntiva normal que tem essa
tabela de verdade

- 2.
- Para cada uma das colunas (a)--(e) na tabela de verdade abaixo
determine uma fórmula na forma disjuntiva normal que tem essa
tabela de verdade

- 3.
- Determine fórmulas na forma disjuntiva normal tautologicamente
equivalentes a cada uma das seguintes.
- a)

- b)

- c)

- d)

- e)

- f)

- g)

- h)

- i)

- j)

- k)

- l)

- m)

- n)

- B.
- Usando equivalências tautológicas, simplifique as fórmulas
seguintes. [Usamos as convenções:
e
].


























Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997