p.

54
1-
a) (A ((B ^ B) A))
A B A B (B ^ B) ((B ^ B) A) (A ((B ^ B) A))
V V F F F V V
V F F V F V V
F V V F F V V
F F V V F V V
b) ((A ^ (B v C)) B)
A B C B (B v C) (A ^ (B v C)) ((A ^ (B v C)) B)
V V V F V V F
V V F F V V F
V F V V V V V
V F F V F F F
F V V F V F V
F V F F V F V
F F V V V F F
F F F V F F F
c) (((A ^ B) (C v D)) (A v C)), usaremos () para es!"#ar es$a se#$e#%a&
A B C D B D (A ^ B ) (C v D) (A v C) (A v C) ((A ^ B) (C v D)) ()
V V V V F F F V V F F V
V V V F F V F V V F F V
V V F V F F F F V F V F
V V F F F V F V V F F V
V F V V V F V V V F V F
V F V F V V V V V F V F
V F F V V F V F V F F V
V F F F V V V V V F V F
F V V V F F F V V F F V
F V V F F V F V V F F V
F V F V F F F F F V V V
F V F F F V F V F V F V
F F V V V F F V V F F V
F F V F V V F V V F F V
F F F V V F F F F V V V
F F F F V V F V F V F V
'". 55
(- Ape#as as se#$e#%as !#!caas pe)as )e$ras ") e !) s*o $au$o)o"!as. +*o $au$o)o"!as, v!s$o ,ue
#a $abe)a e verae $oas as va)ora%-es boo)ea#as a$r!buem V a $a!s se#$e#%as.
.)
A B C
1 ( . 4 5 / 0 1
V V V V V V V V F V F
V V F V V V V V F F V
V F V V F V F F V V F
V F F F F V F V V V F
F V V F V V V V V V F
F V F F V V V V V V F
F F V F V F V V V V F
F F F F V V V V V V F
..1)
2s co#3u#$os e a), b), c) s*o ver!4u#c!o#a)me#$e co#s!s$e#$es, po!s pe)o me#os uma
va)ora%*o boo)ea#a ver!4!ca $oos os seus e)eme#$os. 2 co#3u#$o e ) 5 ver!4u#c!o#a)me#$e
!#co#s!s$e#$e, po!s #e#6uma va)ora%*o boo)ea#a ver!4!ca $oos os seus e)eme#$os.
..()
a) +!m, po!s $oo moe)o ver!4u#c!o#a) e 7
.
,
/
8 ver!4!ca
0
.
b) +!m, po!s $oas as va)ora%-es boo)ea#as co#coram #o va)or e verae a$r!bu9o a
(
e
4
, ou se3a, uma va)ora%*o boo)ea#a a$r!bu! V a
(
se e some#$e se a$r!bu! V a
4
.
c) +!m, po!s #e#6um moe)o ver!4u#c!o#a) e 7
0
8 ver!4!ca
1
.
) +!m, po!s $oo moe)o ver!4u#c!o#a) e 7
1
,
/
8 ver!4!ca
1
.
...)
A