Elementos Notables:

Permiten transformar y simplificar fórmulas lógicas.

• De involución • Asociativa
𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟
∼ (∼ 𝑝) ≡ 𝑝
𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨ 𝑟
• De Morgan
• De idempotencia
∼ (𝑝 ∨ 𝑞) ≡ ∼ 𝑝 ∧ ∼ 𝑞
𝑝 ∧ 𝑝≡ 𝑝
∼ (𝑝 ∧ 𝑞) ≡ ∼ 𝑝 ∨ ∼ 𝑞
𝑝 ∨ 𝑝 ≡ 𝑝
 • Conmutativa •De transposición
𝑝 → 𝑞 ≡ ∼ 𝑞 →∼ 𝑝
𝑝 ∧ 𝑞≡ 𝑞∧ 𝑝
𝑝 ∨ 𝑞≡ 𝑞∨ 𝑝
𝑝↔𝑞≡ 𝑞↔𝑝
• Elemento neutro
𝑝∧𝑉 ≡𝑝
• Condicional 𝑝∨𝐹 ≡𝑝
𝑝 → 𝑞≡∼𝑝 ∨ 𝑞
 • De absorción
𝑝∧ 𝑝∨𝑞 ≡𝑝 • Distributiva
𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟
𝑝∧ ∼𝑝∨𝑞 ≡𝑝∧𝑞 𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟
𝑝∨ 𝑝∧𝑞 ≡𝑝 𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)
𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
 • Bicondicional • Adicionales
𝑝∨𝑉 ≡𝑉
𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (q → p)
𝑝∧𝐹 ≡𝐹
𝑝 ∨∼ 𝑝 ≡ 𝑉
𝑝 ↔ 𝑞 ≡ (∽ 𝑝 v 𝑞) ∧ (p v ∽q)
𝑝 ∧∼ 𝑝 ≡ 𝐹
Circuitos Lógicos:
• Circuito en serie

p∧q p q
• Circuito en paralelo
p
pvq
q
 ∽(∽p) = p par
∽(∽(∽(…∽p)…)
∽(∽(∽p))) = ∽p impar
𝟐𝟎𝟐𝟎 𝒗𝒆𝒄𝒆𝒔
∽(∽(∽(∽p)))) = p par
∽(∽(∽(∽(∽p))))) = ∽p impar
 • Condicional
𝑝 → 𝑞≡∼𝑝 ∨ 𝑞
∽p ∧ (p → ∽q) • De absorción
∽p ∧ (∽p v ∽q) 𝑝∧ 𝑝∨𝑞 ≡𝑝
𝑝∧ ∼𝑝∨𝑞 ≡𝑝∧𝑞
∽p 𝑝∨ 𝑝∧𝑞 ≡𝑝
𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
(p ∧ q) v r
 • Condicional
(p → q) v (∽r ∧ s) 𝑝 → 𝑞≡∼𝑝 ∨ 𝑞
(∽p v q) v (∽r ∧ s)
∽p

∽r s
 • Distributiva

𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟

(p ∧ q) v (p ∧ ∽q)
p ∧ (q v ∽q) 𝑝 ∨∼ 𝑝 ≡ 𝑉

p∧V
• Elemento neutro
p
𝑝∧𝑉 ≡𝑝
 𝑝 ∨∼ 𝑝 ≡ 𝑉
• Condicional
𝑝 → 𝑞≡∼𝑝 ∨ 𝑞
∽(q v ∽r) → (p v ∽p)
𝑝∨𝑉 ≡𝑉
∽(q v ∽r) → V
∽[∽(q v ∽r)] v V
V
 Simbolizamos:
p: Juan ingresa a la UNI
q: Juan obtendrá un título

∽( p v ∽ q )
• De Morgan
∽p ∧ q
∼ (𝑝 ∨ 𝑞) ≡ ∼ 𝑝 ∧ ∼ 𝑞

Juan no ingresa a la UNI y obtendrá un título

 • Condicional
𝑝 → 𝑞≡∼𝑝 ∨ 𝑞
• De Morgan
∼ (𝑝 ∨ 𝑞) ≡ ∼ 𝑝 ∧ ∼ 𝑞
(p v q) → (∽p ∧ q) • Distributiva
∽(p v q) v (∽p ∧ q) 𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟
(∽p ∧ ∽q) v (∽p ∧ q)
𝑝 ∨∼ 𝑝 ≡ 𝑉
∽p ∧ (∽q v q)
• Elemento neutro
∽p ∧ V 𝑝∧𝑉 ≡𝑝
∽p
 Simbolizamos:
p: Juan es ingeniero
q: Juan es electrónico
p → q = ∽q → ∽p
p → q = ∽p v q
 Simbolizamos:
p: en la luna hay agua r: en la luna hay plantas
q: en la luna hay vida s: en la luna hay animales
(∽p → ∽q) → (∽r ∧ ∽s) ∽p q
(p v ∽q) → (∽r ∧ ∽s)
∽(p v ∽q) v (∽r ∧ ∽s)
(∽p ∧ q) v (∽r ∧ ∽s) ∽r ∽s
 Simbolizamos:
p: Pedro irá a ver la copa América
q: Pedro estudiará ingeniería

∽(∽p ∧ ∽q )
(p v q )

Pedro irá a ver la copa América o estudiará ingeniería

 Contrarrecíproco
𝑝 → 𝑞 ≡ ∼ 𝑞 →∼ 𝑝
Simbolizamos:
p: x es un cuadrilátero
q: x es un triángulo
r: x tiene 4 lados
p → (∽q ∧ r)
∽(∽q ∧ r) → ∽p
(q v ∽r) → ∽p
Si x es un triángulo o no tiene 4 lados,
entonces, no es cuadrilátero
 {[∽ (q → p) →∽ (p → q)] ∧ (p → ∽q)} v ∽q
{[∽ (∽q v p) →∽ (∽p v q)] ∧ (∽p v ∽q)} v ∽q
{[(∽q v p) v (p ∧ ∽q)] ∧ (∽p v ∽q)} v ∽q
{[∽q v (p v (p ∧ ∽q))] ∧ (∽p v ∽q)} v ∽q
{[∽q v p ] ∧ (∽q v ∽p)} v ∽q
{∽q v (p ∧ ∽p)} v ∽q
{∽q v F} v ∽q
∽q v ∽q
∽q
[ ∽p ∧ (p v q) ] v (∽q v r)
(∽p ∧ q) v ( ∽q v r)
[(∽p ∧ q) v ∽q] v r
[(∽q v ∽p] v r
[∽(p ∧ q] v r
[(p ∧ q] → r
 p q (∽ 𝒒 ∧ ~p)

V V F F F
V F V F F
F V F F V
F F V V V
p q (∽p ↓ q) 𝒗 (q ↓ p)
V V F FV F VFV
V F F VF V FFV
F V V FV F VFF
F F V FF V FVF
 p q (∽ 𝒒 ∧ ~p)

V V F F F
V F V F F
F V F F V
F F V V V
p q (∽p ↓ q) 𝒗 (∽q ↓ p)
V V F FV F F F V
V F F VF V V F V
F V V FV V F V F
F F V FF F V F F
 p q (∽ 𝒒 ∧ ~p)

V V F F F
V F V F F
F V F F V
F F V V V
p q (∽p ↓ ∽q) 𝒗 (p ↓ q)
V V F VF V V F V
V F F FV F V F F
F V V FF F F F V
F F V FV V F V F