Está en la página 1de 2

Involucin:

(P) P

P
V F

P
F V

(P)
V F

(P) P
V V

Idempotencia:

( PyP ) P ( PoP ) P

P
V F

P
V F

PP
V F

PP P
V V

P P
V F

P P P
V V

Conmutatividad de la disyuncin:

PoQ QoP

P
V V F F

Q
V F V F

PQ
V V V F

Q P
V V V F

PQ Q P
V V V V

Conmutativa de la conjuncin:

PyQ QyP

P
V V F F

Q
V F V F

PQ
V F F F

QP
V F F F

P Q Q P
V V V V

Asociativa de la disyuncin:

( PoQ)oR Po(QoR) ( P Q)
V V V V V V V F F V F F F V V F V V F F F F F F

V V V V V V V F

R
V F V F V F V F

V V V V V V V V

P
V V V V F F F F

V F F F F F F F

(Q R)
V V V V F F F F V F F F V V V V F F F F V F F F

Asociativa de la conjuncin:

( PyQ) yR Py(QyR) ( P Q)
V V V V F F F F V V F F F F F F V V F F V V F F

V F F F F F F F

R
V F V F V F V F

V V V V V V V V

P
V V V V F F F F

V F F F F F F F

(Q R)
V V F F V V F F V F F F V F F F V F V F V F V F

También podría gustarte