Lista Exercicios - tabela verdade

Prévia do material em texto

CENTRO UNIVERSITÁRIO MAURÍCIO DE NASSAU - MACEIÓ
CURSO DE CIÊNCIA DA COMPUTAÇÃO
DISCIPLINA: LÓGICA DE PROGRAMAÇÃO
LISTA DE EXERCÍCIOS – TABELA VERDADE
1. Monte a tabela verdade para as proposições lógicas abaixo:
• ~(p v -q)
• (p ^ ~q) → p
• (p ^ ~q) ↔ q
• p v ~q → q ^ ~q
• ~(p v ~q)
2. Considere as proposições p, q, r e S:
 p: Maceió é uma cidade.
 q: Oscar Niemyer é um arquiteto brasileiro
 r: O sol gira em torno da terra
 S: p → ~q ^ r
Monte a tabela verdade para as proposições acima.
3. Considere a seguinte proposição lógica:
Se um jogador reclama ou o técnico protesta, então o juiz não viu a falta e os auxiliares
não puderam ajudar
A decomposição da proposição lógica acima seria:
 p: um jogador reclama.
 q: o técnico protesta.
 r: o juiz não viu a falta.
 s: os auxiliares não puderam ajudar.
Sua representação formal é: p v q → r v s
Monte a tabela verdade desta proposição.