Você está na página 1de 1

P

-P

(P=>Q)

V
V
F
F

V
F
V
F

F
F
V
V

V
F
V
V

1) ((P=>Q)^P) (~PvQ)
2) ~(~Pv~Q)(P^Q)

((P=>Q
)^P)
V
F
F
F

(~PvQ
)
V
F
V
V

((P=>Q)^P)
(~PvQ)
V
V
F
F

(No Equivalente)

( equivalente)

~P

~Q

(~Pv~ ~(~Pv
Q)
~Q)

(P^
Q)

~(~Pv~Q)(
P^Q)

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

F
V
V
V

V
F
F
F

V
V
V
V

V
F
F
F

Você também pode gostar