Exercícios Prof Flávio

Olá Turma,

O professor flávio pediu que esses exercícios fossem dados e que os façam para a próxima aula!
1) [(p -> q) w ((r <->(~p))] ^ [(q v s) / (r w p)]
2) [p / q <-> (p w (~r)] -> [(q v s) v (r <-> t)]

legenda:
-> se...então
w ou exclusivo
<-> se e somente se
^ e
v ou inclusivo
/ incompatibilidade

Obs.: Enviado pelo blog do diurno