![previous](http://cbl.leeds.ac.uk/nikos/figs/previous_motif.gif)
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
![tabular402](img353.gif)
- 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
![tabular407](img354.gif)
- 3.
- Determine fórmulas na forma disjuntiva normal tautologicamente
equivalentes a cada uma das seguintes.
- a)
![tex2html_wrap1844](img249.gif)
- b)
![tex2html_wrap2008](img295.gif)
- c)
![tex2html_wrap2342](img355.gif)
- d)
![tex2html_wrap2343](img356.gif)
- e)
![tex2html_wrap2344](img357.gif)
- f)
![tex2html_wrap1354](img131.gif)
- g)
![tex2html_wrap2346](img358.gif)
- h)
![tex2html_wrap2347](img359.gif)
- i)
![tex2html_wrap2348](img360.gif)
- j)
![tex2html_wrap2349](img361.gif)
- k)
![tex2html_wrap2350](img362.gif)
- l)
![tex2html_wrap2351](img363.gif)
- m)
![tex2html_wrap2352](img364.gif)
- n)
![tex2html_wrap2353](img365.gif)
- B.
- Usando equivalências tautológicas, simplifique as fórmulas
seguintes. [Usamos as convenções:
e
].
![tex2html_wrap2356](img368.gif)
![tex2html_wrap2357](img369.gif)
![tex2html_wrap2358](img370.gif)
![tex2html_wrap2359](img371.gif)
![tex2html_wrap2360](img372.gif)
![tex2html_wrap2361](img373.gif)
![tex2html_wrap2362](img374.gif)
![tex2html_wrap2363](img375.gif)
![tex2html_wrap2364](img376.gif)
![tex2html_wrap2365](img377.gif)
![tex2html_wrap2366](img378.gif)
![tex2html_wrap2367](img379.gif)
![tex2html_wrap2368](img380.gif)
![tex2html_wrap2369](img381.gif)
![tex2html_wrap2370](img382.gif)
![tex2html_wrap2371](img383.gif)
![tex2html_wrap2372](img384.gif)
![tex2html_wrap2373](img385.gif)
![tex2html_wrap2374](img386.gif)
![tex2html_wrap2375](img387.gif)
![tex2html_wrap2376](img388.gif)
![tex2html_wrap2377](img389.gif)
![tex2html_wrap2378](img390.gif)
![tex2html_wrap2379](img391.gif)
![tex2html_wrap2380](img392.gif)
![tex2html_wrap2381](img393.gif)
Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997