next up previous
Next: Cálculo de Predicados Up: Aplicações do Cálculo Proposicional Previous: Álgebra das Fórmulas

Problemas

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

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

3.
Determine fórmulas na forma disjuntiva normal tautologicamente equivalentes a cada uma das seguintes.
a)
tex2html_wrap1844
b)
tex2html_wrap2008
c)
tex2html_wrap2342
d)
tex2html_wrap2343
e)
tex2html_wrap2344
f)
tex2html_wrap1354
g)
tex2html_wrap2346
h)
tex2html_wrap2347
i)
tex2html_wrap2348
j)
tex2html_wrap2349
k)
tex2html_wrap2350
l)
tex2html_wrap2351
m)
tex2html_wrap2352
n)
tex2html_wrap2353
B.
Usando equivalências tautológicas, simplifique as fórmulas seguintes. [Usamos as convenções: tex2html_wrap2354 e tex2html_wrap2355 ].
  1. tex2html_wrap2356
  2. tex2html_wrap2357
  3. tex2html_wrap2358
  4. tex2html_wrap2359
  5. tex2html_wrap2360
  6. tex2html_wrap2361
  7. tex2html_wrap2362
  8. tex2html_wrap2363
  9. tex2html_wrap2364
  10. tex2html_wrap2365
  11. tex2html_wrap2366
  12. tex2html_wrap2367
  13. tex2html_wrap2368
  14. tex2html_wrap2369
  15. tex2html_wrap2370
  16. tex2html_wrap2371
  17. tex2html_wrap2372
  18. tex2html_wrap2373
  19. tex2html_wrap2374
  20. tex2html_wrap2375
  21. tex2html_wrap2376
  22. tex2html_wrap2377
  23. tex2html_wrap2378
  24. tex2html_wrap2379
  25. tex2html_wrap2380
  26. tex2html_wrap2381


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