Universidad de San Carlos

Facultad de Ingenierı́a
Matemática para Computación 1
Lic. Carlos Morales

TABLA 1
 Equivalencias Lógicas 

Equivalencia Nombre

¬¬p ⇔ p Doble negación

(p ∨ q) ⇔ (q ∨ p)
(p ∧ q) ⇔ (q ∧ p) Leyes conmutativas
(p ↔ q) ⇔ (q ↔ p)

[(p ∨ q) ∨ r] ⇔ [p ∨ (q ∨ r)]
Leyes asociativas
[(p ∧ q) ∧ r] ⇔ [p ∧ (q ∧ r)]

[p ∨ (q ∧ r)] ⇔ [(p ∨ q) ∧ (p ∨ r)]

Leyes distributivas
[p ∧ (q ∨ r)] ⇔ [(p ∧ q) ∨ (p ∧ r)]

(p ∨ p) ⇔ p
Leyes de idempotencia
(p ∧ p) ⇔ p

(p ∨ c) ⇔ p
(p ∨ t) ⇔ t
Leyes de identidad
(p ∧ c) ⇔ p
(p ∧ t) ⇔ p

(p ∨ ¬p) ⇔ t
Tautologı́a y contradicción
(p ∧ ¬p) ⇔ c

¬(p ∨ q) ⇔ ¬p ∧ ¬q
¬(p ∧ q) ⇔ ¬p ∨ ¬q
Leyes de DeMorgan
(p ∨ q) ⇔ ¬(¬p ∧ ¬q)
(p ∧ q) ⇔ ¬(¬p ∨ ¬q)

(p → q) ⇔ (¬q → ¬p) Contrapositiva

(p → q) ⇔ (¬p ∨ q)
Implicación
(p → q) ⇔ ¬(p ∧ ¬q)

(p ∨ q) ⇔ (¬p → q)
—
(p ∧ q) ⇔ ¬(p → ¬q)

[(p → r) ∧ (q → r)] ⇔ [(p ∨ q) → r]

—
[(p → q) ∧ (p → r)] ⇔ [p → (q ∧ r)]

(p ↔ q) ⇔ (p → q) ∧ (q → p) Doble implicación

[(p ∧ q) → r] ⇔ [p → (q → r)] Ley de exportación

(p → q) ⇔ [(p ∧ ¬q) → c] Reducción al absurdo

Universidad de San Carlos
Facultad de Ingenierı́a
Matemática para Computación 1
Lic. Carlos Morales

TABLA 2
 Implicaciones Lógicas 

Implicación Nombre

p ⇒ (p ∨ q) Adición

(p ∧ q) ⇒ p Simplificación

(p → c) ⇒ ¬p Absurdo

[p ∧ (p → q)] ⇒ q Modus ponens

[(p → q) ∧ ¬q] ⇒ ¬p Modus tollens

[(p ∨ q) ∧ ¬p] ⇒ q Silogismo disyuntivo

p ⇒ [q → (p ∧ q)] —

[(p ↔ q) ∧ (q ↔ r)] ⇒ (p ↔ r) Transitividad de ↔

Silogismo hipotético o
[(p → q) ∧ (q → r)] ⇒ (p → r)
transitividad de →

(p → q) ⇒ [(p ∨ r) → (q ∨ r)]
(p → q) ⇒ [(p ∧ r) → (q ∧ r)] —
(p → q) ⇒ [(q → r) → (p → r)]

[(p → q) ∧ (r → s)] ⇒ [(p ∨ r) → (q ∨ s)]

Dilemas constructivos
[(p → q) ∧ (r → s)] ⇒ [(p ∧ r) → (q ∧ s)]

[(p → q) ∧ (r → s)] ⇒ [(¬q ∨ ¬s) → (¬p ∨ ¬r)]

Dilemas destructivos
[(p → q) ∧ (r → s)] ⇒ [(¬q ∧ ¬s) → (¬p ∧ ¬r)]
Universidad de San Carlos
Facultad de Ingenierı́a
Matemática para Computación 1
Lic. Carlos Morales

TABLA 3
 Propiedades de la Teorı́a de Conjuntos 

Para A, B, C conjuntos cualesquiera, tomados de un universo U .

Leyes Nombre

A=A Ley del doble complemento

A∪B =A∩B
Leyes de DeMorgan
A∩B =A∪B

A∪B =B∪A
Propiedades conmutativas
A∩B =B∩A

A ∪ (B ∪ C) = (A ∪ B) ∪ C
Propiedades asociativas
A ∩ (B ∩ C) = (A ∩ B) ∩ C

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Propiedades distributivas
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

A∪A=A
Propiedades de idempotencia
A∩A=A

A∪∅=A
Propiedades de neutros
A∩U =A

A∪A=U
Propiedades del inverso
A∩A=∅

A∪U =U
Propiedades de dominación
A∩∅=∅

A ∪ (A ∩ B) = A
Propiedades de absorción
A ∩ (A ∪ B) = A
Universidad de San Carlos
Facultad de Ingenierı́a
Matemática para Computación 1
Lic. Carlos Morales

TABLA 4
 Álgebra Booleana 

f, g, h representan funciones booleanas, en tanto que x, y, z son variables booleanas. 1, 0 (en negritas) son las
funciones constantes, mientras que 1, 0 (sin negritas) representan los dos valores booleanos posibles.

Para Funciones Para Variables Nombre de la Ley

f =f x=x Ley del doble complemento

f +g =f ·g x+y =x·y
Leyes de DeMorgan
f ·g =f +g x·y =x+y

f +g =g+f x+y =y+x

Propiedades conmutativas
f ·g =g·f x·y =y·x

f + (g + h) = (f + g) + h x + (y + z) = (x + y) + z
Propiedades asociativas
f · (g · h) = (f · g) · h x · (y · z) = (x · y) · z

f + g · h = (f + g) · (f + h) x + y · z = (x + y) · (x + z)
Propiedades distributivas
f · (g + h) = f · g + f · h x · (y + z) = x · y + x · z

f +f =f x+x=x
Leyes de idempotencia
f ·f =f x·x=x

f +0=f x+0=x
Leyes de identidad
f ·1=f x·1=x

f +f =1 x+x=1
Leyes de inversos
f ·f =0 x·x=0

f +1=1 x+1=1
Leyes de dominación
f ·0=0 x·0=0

f +f ·g =f x+x·y =x
Leyes de absorción
f · (f + g) = f x · (x + y) = x