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