Exerccios resolvidos preparao para 2 avaliao

1) CLASSIFIQUE as proposies abaixo em relao as Formas Normais:

(FND) = Forma Normal Dis!"#i$a
(FNC) = Forma Normal Co"!"#i$a
(NEN%U&) = No es#a "a Forma Normal
a) ~p ^ (q v p) (FNC)
b) p (q v p) (Nenhum)
c) ~(q v r) (Nenhum)
d) (p ^ r) v (~p ^ r) (FND)
e) (p ^ r) ^ (~p ^ ~r) (FNC)
f) p ^ (p v ~q) ^ (p v q v ~r) (FNC)
g) q ^ (~q v p) ^ (~ p ^ (q v r)) (FNC)
h) (~p ^ ~r) v p v (r ^ q ^ s) (FND)

') U(ILI)E as proprie*a*es *e e+!i$al,"-ias para SI&.LIFICA/ a proposies abaixo:
(*eixe -laro as e+!i$al,"-ias !#ili0a*as a#ra$1s *as si2las)
p ^ (q r) ^ ~(q ~p)
Sol!o:
p ^ (~q v r) ^ ~(~q v ~p) (COND)
p ^ (~q v r) ^ (q ^ p) (DM)
p ^ p ^ q ^(~q v r) (ASSOC)
p ^ q ^ (~q v r) (ID)
p ^ [(q ^ ~q) v (q ^ r) (DIS!)
p ^ [ F v (q ^ r) (ID"N!)
p ^ (q ^ r) (ID"N!)
p ^ q ^ r (ASSOC)
p ^ r ^ q
3) U(ILI)E as re2ras *e i"4er,"-ia para /ES.5NDA as per2!"#as soli-i#a*as "os
ar2!me"#os abaixo:
U(ILI)E AS AFI/&A67ES A8AI95 .A/A DE(E/&INA/ SE FE) 5U N:5 S5L;
S" F#$er s%& "N!'O (%u a pra#a
S" (%u a pra#a "N!'O Fa)% Churrasc%
N'O F#$ Churrasc%
S%&u)*% +,
p - fa$ s%& . q - v%u a pra#a . r - fa)% churrasc%
(+) p q
(/) q r
(0) ~r
(1) p r +2/ S3
(4) ~p 120 M! N*% fe$ s%&5
S%&u)*% /,
(+) p q
(/) q r
(0) ~r
(1) ~q /20 M!
(4) ~p +21 M! N*% fe$ s%&5
<) (ES(E a $ali*a*e *os ar2!me"#os me*ia"#e o !so *a (A8ELA =E/DADE:
>) ?US(IFIQUE -a*a li"@a !sa*a para *emo"s#rao *o ar2!me"#o
Ap +B +rB Ap B rAsB As# B #! CDDD ! INDICAND5 as proprie*a*es o! re2ras
!#ili0a*as:
(+)~p q 6 78"MISSA
(/) qr 6 78"MISSA
(0)~p 6 78"MISSA
(1)r~s 6 78"MISSA
(4)~s9 6 78"MISSA
(:)9u 6 78"MISSA
a) SO;<='O +
(>?) q +20 M7
(>@) r /2? M7
(>A) ~s 12@ M7
(+>) 9 42+> M7
(++) u :2+> M7
b) SO;<='O /
(>?) ~pr +2/ S3
(>@) r ?20 M7
(>A) ~su 42: S3
(+>) ru 12A S3
(++)u +>2@ M7
E) USE a Demo"s#rao Co"*i-io"al para mos#rar +!e o se2!i"#e ar2!me"#o 1 $Fli*o:
pA+B Ar+B As A+ CDD p$As r
Sol!o:
G) USE a Demo"s#rao I"*ire#a (re*!o pelo abs!r*o) para mos#rar +!e o se2!i"#e
ar2!me"#o 1 $Fli*o: p$+B sApB A(+$r) CDD As
Sol!o:
H) 8asea*o "as se"#e"as aber#asB *e#ermi"e os $alores lI2i-os *as se2!i"#es
proposies:
Sol!o: