UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERÍA
DEPARTAMENTO DE MATEMÁTICAS
MATEMÁTICA PARA COMPUTACIÓN, SECCIÓN “B”
CATEDRÁTICA: M.A. INGA. HELEN RAMÍREZ
AUX: LUIS LIZAMA

Tabla 1 – Leyes de la lógica

Equivalencia Nombre
¬¬𝒑 ⇔ 𝒑 Doble negación

(𝒑 ˅ 𝒒) ⇔ (𝒒 ˅ 𝒑) Leyes conmutativas
(𝒑 ˄ 𝒒) ⇔ (𝒒 ˄ 𝒑)

[(𝒑 ˅ 𝒒) ˅ 𝒓] ⇔ [𝒑 ˅ (𝒒 ˅ 𝒓)] Leyes asociativas

[(𝒑 ˄ 𝒒) ˄ 𝒓] ⇔ [𝒑 ˄ (𝒒 ˄ 𝒓)]

[𝒑 ˅(𝒒 ˄ 𝒓)] ⇔ [(𝒑 ˅ 𝒒)˄(𝒑 ˅ 𝒓)] Leyes distributivas

[𝒑 ˄(𝒒 ˅ 𝒓)] ⇔ [(𝒑 ˄ 𝒒)˅(𝒑 ˄ 𝒓)]

(𝒑 ˅ 𝒑) ⇔ 𝒑 Leyes de idempotencia
(𝒑 ˄ 𝒑) ⇔ 𝒑

𝒑 ˅ (𝒑 ˄ 𝒒) ⇔ 𝒑 Leyes de absorción
𝒑 ˄ (𝒑 ˅ 𝒒) ⇔ 𝒑

(𝒑 ˅ 𝑭𝟎 ) ⇔ 𝒑 Leyes de neutro
(𝒑 ˄ 𝑻𝟎 ) ⇔ 𝒑

(𝒑 ˅ 𝑻𝟎 ) ⇔ 𝑻𝟎 Leyes de dominación
(𝒑 ˄ 𝑭𝟎 ) ⇔ 𝑭𝟎

(𝒑 ˅ ¬𝒑) ⇔ 𝑻𝟎 Tautología y contradicción

(𝒑 ˄ ¬𝒑) ⇔ 𝑭𝟎 (Leyes inversas)

¬(𝒑 ˅ 𝒒) ⇔ ¬𝒑 ˄ ¬𝒒
¬(𝒑 ˄ 𝒒) ⇔ ¬𝒑 ˅ ¬𝒒 Leyes de DeMorgan
(𝒑 ˅ 𝒒) ⇔ ¬(¬𝒑 ˄ ¬𝒒)
(𝒑 ˄ 𝒒) ⇔ ¬(¬𝒑 ˅ ¬𝒒

(𝒑 → 𝒒) ⇔ (¬𝒒 → ¬𝒑) Contraposición

(𝒑 → 𝒒) ⇔ (¬𝒑 ˅ 𝒒) Implicación
(𝒑 → 𝒒) ⇔ ¬(𝒑 ˄ ¬𝒒)

(𝒑 ˅ 𝒒) ⇔ (¬𝒑 → 𝒒)
(𝒑 ˄ 𝒒) ⇔ ¬(𝒑 → ¬𝒒) -

[(𝒑 → 𝒓) ˄ (𝒒 → 𝒓)] ⇔ [(𝒑 ˅ 𝒒) → 𝒓] -

[(𝒑 → 𝒒) ˄ (𝒑 → 𝒓)] ⇔ [𝒑 → ( 𝒒 ˄ 𝒓)]

[( 𝒑 ˄ 𝒒) → 𝒓] ⇔ [𝒑 → (𝒒 → 𝒓)] Ley de exportación

(𝒑 → 𝒒) ⇔ [(𝒑 ˄ ¬𝒒) → 𝑭𝟎 ] Reducción al absurdo

(𝒓 → ¬𝒒) ⇔ (𝒒 → ¬𝒓) Contrapositiva