Instituto Universitario Aeronutico

Facultad de Ciencia de la Administracin

Materia: INTRODUCCION A LA INFORMATICA
Alumno: Waldo Barrios - Resolucin: Actividad 4, U2
Verifique las siguientes leyes lgicas desarrollando las tablas
de verdad de cada una de ellas.

Leyes Nombre
( p ) = p Involucin
(p y p) = p
(p o p) = p
Idempotencia
p o q = q o p
p y q = q y p
Conmutatividad de la
disyuncin
Conmutatividad de la
conjuncin
(p o q) o r = p o (q o r)
(p y q) y r = p y (q y r)
Asociatividad de la
disyuncin
Asociatividad de la
conjuncin

Resolucin:
a. Involucin
( p ) = p Involucin

Tablas de verdad:

p ( p ) (p ) = p
V F V
V F V
F V F
F V F

b. Idempotencia
(p y p) = p
(p o p) = p
Idempotencia


. Tablas de verdad
p pp p p = p
V V V V
V V V V
F F V F
F F F F


c. Conmutativa
p o q = q o p
p y q = q y p
Conmutatividad de la
disyuncin
Conmutatividad de la
conjuncin


. Tablas de verdad disyuncin
p q p q = q p
V V V V
V F V V
F V V V
F F F F

. Tablas de verdad conjuncin

p q pq = qp
V V V V
V F F F
F V F F
F F F F


d. Asociativa

(p o q) o r = p o (q o r)
(p y q) y r = p y (q y r)
Asociatividad de la
disyuncin
Asociatividad de la
conjuncin

. Tablas de verdad disyuncin
p q r (p q) r = p (q r)
V V V V V V V
V F F V V V F
F V V V V V V
F F F F F F F

. Tablas de verdad conjuncin

p q r (pq) r = p (qr)
V V V V V V V
V F F F F F F
F V V F F F V
F F F F F F F