Aplicación Nº1

Simplificación de Fórmulas Proposicionales

Materia: Estructuras Discretas.

Docente: Msc. Ing. Katime Gutiérrez B.

Septiembre 2015.
Aplicación Nº 1: Simplificación de Fórmulas Proposicionales

Simplificación de Fórmulas Proposicionales

Simplificar una fórmula proposicional, es hallar otra fórmula proposicional equivalente a la dada
y tal que sus variables proposicionales (letras) y constantes lógicas (símbolos lógicos) sean
respectivamente menores que las de la primera. En la simplificación de fórmulas
proposicionales, se usan leyes lógicas (equivalencias lógicas).

Ejemplo 1: Simplificar
Justificaciones:

1. (q v p) Λ q ⇔

2. (q v p) ˄ (q V F) ⇔ Ley de Identidad.

3. (q ˄ q) v ( p Λ F) ⇔ Distribución a la inversa

4. qV F ⇔ Ley de Identidad.

5. q ⇔ Ley de Identidad

Verificando en la tabla de verdad: Indicamos simbólicamente que (q v p) Λ q ⇔ q

(Son lógicamente equivalentes)

Ejemplo 2: Simplificar
Justificaciones:

1. (p V q) V ( p Λ q) ⇔

2. ( pΛ q) V ( p Λ q) ⇔Ley de Morgan.

3. [ p Λ ( q V q )] ⇔ Distribución a la inversa.

4. ( p Λ T) ⇔Ley de complementación (contradicción).

5. p ⇔ Ley de Identidad.

Se deja como tarea la construcción de la tabla de verdad para verificar que:

(p V q) V ( p Λ q) ⇔ p (son lógicamente equivalentes).

Ejemplo 3: Simplificar
Justificaciones:

1. [ (p Λ q) → ( p Λ q )] V ( p Λ q) ⇔ Definición Implicación Material

2. [ ( p Λ q)] V ( p Λ q ) V ( p Λ q) ⇔ Doble negación.
3. (p Λ q) V ( p Λ q) V ( p Λ q) ⇔ Asociación.
4. (p Λ q) V [( p Λ q) V ( p Λ q)] ⇔ Distribución inversa.
5. (p Λ q) V [ p Λ ( q V q)] ⇔ Ley de Complementación (L.tercero excluido)
6. ( p Λ q) V ( p Λ T ) ⇔ Elemento neutro.
7. (p Λ q) V p ⇔ Conmutatividad
8. p V (p Λ q) ⇔ Distribución inversa
9. ( p V p ) Λ ( p V q) ⇔ Ley del tercero excluido
10. T Λ ( p V q) ⇔ Elemento neutro.
11. pV q

Docente: Msc. Ing. Katime E. Gutiérrez Bruno. Pág.2

Aplicación Nº 1: Simplificación de Fórmulas Proposicionales

Se deja como tarea la construcción de la tabla de verdad para verificar que:

[ (p Λ q) → ( p Λ q)] V ( p Λ q) ⇔ p V q (son lógicamente equivalentes).

Ejemplo 4: Simplificar
Justificaciones:
[(p p)  q]  [q  (r  q)]  [p  (p  q)]

[(p  p)  q]  [q  (r  q)]  [p  (p  q)] ⇔ Implicación Material

[(p  p)  q]  [q  (r  q)]  [(p  p)  q] ⇔ Asociación.

(T  q)  [q  (r  q)]  (T  q) ⇔ Complemento

T  [q  (r  q)]  T ⇔ Asociación.

T  T  [q  (r  q)] ⇔ Asociación.

T  [q  (r  q)] ⇔ Idempotencia.

q  (r  q) ⇔ Elemento Neutro

(q  r)  (q  q) ⇔ Distributiva

(q  r)  T ⇔ Complemento

q  r ⇔ Elemento Neutro

Ejemplo 5: Simplificar
Justificaciones:
[(p  q)  (p  q)]  (p  q)

[(p  q)  (p  q)]  (p  q) ⇔ Ley de Morgan

[p  (q  q)]  (p  q) ⇔ Distributiva

(p  T)  (p  q) ⇔ Complemento

p  (p  q) ⇔ Elemento Neutro

(p)  (p  q) ⇔ Implicación Material

p  (p  q) ⇔ Doble Negación

(p  p)  (p  q) ⇔ Distributiva

T  (p  q) ⇔ Complemento

pq ⇔ Elemento Neutro

Docente: Msc. Ing. Katime E. Gutiérrez Bruno. Pág.3

Aplicación Nº 1: Simplificación de Fórmulas Proposicionales

Ejemplo 6: Simplificar
Justificaciones:
[(P→ ¬Q) → ¬P ] → Q

¬ [¬ (¬P v ¬Q) v ¬P ] v Q ⇔ Implicación Material

[¬ ¬ (¬P v ¬Q) Λ ¬¬P ] v Q ⇔Morgan

[ (¬P v ¬Q) Λ P ] v Q ⇔ Doble Negación

[ P Λ (¬P v ¬Q) ] v Q ⇔ Conmutativa

[ (P Λ ¬P ) v (P Λ ¬Q) ] v Q ⇔Distributiva

[ F v (P Λ ¬Q) ] v Q ⇔ Complemento

(P Λ ¬Q) v Q ⇔ Elemento Neutro

Q v (P Λ ¬Q) ⇔ Conmutativa

(Q v P) Λ (Q v ¬Q) ⇔ Distributiva

(Q v P) Λ T ⇔ Complemeto

(Q v P) ⇔Elemento Neutro

Ejemplo 7: Simplificar
Justificaciones:
[(P Λ Q) → ¬R] v [P → (Q→ ¬R)]

[¬ (P Λ Q) v ¬R] v [¬P v (¬Q v ¬R)] ⇔ Implicación Material.

[(¬P v ¬Q) v ¬R] v [¬P v (¬Q v ¬R)] ⇔ Ley de Morgan

¬P v ¬Q v ¬R v ¬P v ¬Q v ¬R

(¬P v ¬P) v (¬Q v ¬Q) v (¬R v ¬R) ⇔Asociación.

¬P v ¬Q v ¬R ⇔Idempotencia.

¬(P Λ Q Λ R) ⇔ Ley de Morgan

Docente: Msc. Ing. Katime E. Gutiérrez Bruno. Pág.4