Question

Simplifique las siguientes proposiciones a su mínima expresión.

Answer 1

Al simplificar el conjunto de proposiciones a su mínima expresión encontramos que resulta: 0 (cero ó falso)

[¬(p → ¬q) ∧ (¬q)] ↔ [q ⊻ (q → ¬p)]

[¬(¬p ∨ ¬q) ∧ ¬q] ↔ [q ⊻ (¬q ∨ ¬p)]

[p ∧ q ∧ ¬q] ↔ [(q ⊻ ¬q) ∨ (q ⊻ ¬p)]

[p ∧     0 ]  ↔   [       1    ∨   (q ⊻ ¬p)]

      0      ↔                  1

                  0

Para resolver debes tener en cuenta algunas equivalencias y propiedades:

• A → B = ¬A V B
• A ∨ 1 = 1
• A ∧ 0 = 0
• A ⊻ ¬A = 1