Tabelas Verdade, Conjuntivos, Proposições

Exercícios
Resolva os exercícios abaixo por tabela verdade , construa os circuitos e tente aplica  maxtermos ou 
mintermos ( nas sentenças com conectivos diferentes de E, Ou , Não ) para simplificação, se 
possível. Consulte a referência do site para Teoremas de Morgan.
LEMBRETE

Não: ~
Ou exclusivo: 
Bicondicional: 
Implicação: 
Ou inclusivo : 
E : 


a) ( p   q  r )  ( ~p     q  ~r)  ( ~p  ~q   ~r)
p q r ( p   q  r )  ( ~p     q  ~r)  ( ~p  ~q   ~r)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
b)  ( p  q )  [ p  ((q  r )   (p  (p  r))]
            1        7        6       2      5        4      3    ( sequencia de resolucao)
p q r ( p  q )  [ p  ((q  r )   (p  (p  r))]
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
c) ( p  q )  p
d) ( p  ~q )  ~p
e)  ~p  ~q
f)  p  ~q
g) ~( p  q ) 
h) ~( p  q )
i) ~( ~p  ~q) 
j) ( p  q )  ~( p  q )
k) ( q p )   (  ~p   q)
l) (x  y)   (~y  ~x   z)
m) (  a  b)   c
n)  (  a b)  c