Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Reglas de Inferencia
Normas Normales
Conjunción V^V≡V
V^p≡p
F^p≡F F = Falso
Disyunción FvF ≡F
Fvp≡p
Vvp≡V V= Verdadero
ley
Tercio excluido p v ~p ≡ V
p ^ ~p ≡ F
T = tautología
Mgº Juan Lira
C = Contradicción
Simplificar la siguiente proposición lógica:
~ [~ (p Λ q) → ~q] v p
Solución
~ [~ (p Λ q) → ~q] v p
~ [~ (p Λ q) → ~q] v p
Solución
~ [~ (p Λ q) → ~q] v p
∼ [p → ∼ (q v r)]
Solución
Simplificando se tiene:
∼ [p → ∼ (q v r) Ξ ∼ [∼p v ~∼ (q v r)
Ξ p Λ (q v r)
Según se observa, los esquemas moleculares que pueden ser representados por circuitos lógicos son los
conjuntivos y disyuntivos, luego, los esquemas condicionales o bicondicionales deben de ser transformadas a
esquemas conjuntivos o disyuntivos, mediante leyes lógicas.
Determinar el circuito lógico que representa el siguiente esquema molecular.
(∼ p) ←→ (p → ∼q)
Solución
(∼p) ←→ (p → ∼q) Ξ (∼p) ←→ (∼p v ∼ q)
Ξ (∼p Λ (∼p v ∼q) v (p Λ (p Λ q))
Ξ (∼p) v (p)
Solución
La función Booleana del circuito dado es: [p v (∼q Λ ∼p) v q] Λ ∼p
Ahora simplificamos la proposición obtenida:
[p v (∼q Λ ∼p) v q] Λ ∼p Ξ [p v q v ∼p] Λ ∼p
Ξ [(p v ∼q) v q] Λ ∼p
Ξ (V v q) Λ ∼p
Ξ q Λ ∼p
EJERCICIOS
Ingº Juan Lira