Actividad: Formas Normales

Relaciona la expresión con su forma normal conjuntiva.

a) ¬(𝑝 ˄ (𝑞 → 𝑟)) 1) (𝑝 ˅ 𝑞 ˅ 𝑟) ˄ (¬𝑞 ˅ ¬𝑝 ˅ 𝑟)

b) (𝑝 ↔ 𝑞) → 𝑟 2) (¬𝑝 ˅ ¬𝑝 ˅ 𝑞) ˄ (𝑞 ˅ ¬𝑝 ˅ 𝑞)
c) (𝑝 → 𝑞) ↔ (𝑝 → 𝑟) 3) (¬𝑞 ˅ ¬𝑝 ˅ 𝑟) ˄ (¬𝑟 ˅ ¬𝑝 ˅ 𝑞)
d) (¬𝑝 → ¬𝑞) → (𝑝 → 𝑞) 4) (¬𝑝 ˅ 𝑞) ˄ (¬𝑝 ˅ ¬𝑟)

Relaciona la expresión con su forma normal disyuntiva.

a) ¬(¬𝑝 ˅ ¬𝑞 → ¬(𝑝 ˄ 𝑞)) 1) (¬𝑝 ˄ 𝑝 ˄ 𝑞) ˅ (¬𝑞 ˄ 𝑝 ˄ 𝑞)

b) [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟)] → (𝑝 → 𝑟) 2) (𝑝 ˄ 𝑞 ˄ ¬𝑟) ˅ ¬𝑝 ˅ 𝑟
c) ¬(𝑝 ˄ (𝑞 → 𝑟)) 3) ¬𝑝 ˅ (𝑞 ˄ ¬𝑟)
d) ¬(𝑝 ˅ 𝑞) ↔ (𝑝 ˄ 𝑞) 4) (𝑝 ˅ 𝑞) ˄ (¬𝑝 ˅ ¬𝑞)

Relaciona la expresión con su forma normal principal.:

a) 𝑝 ˅ ¬𝑞 1. (𝑝 ˅ ¬𝑞) ˄ (¬𝑝 ˅ 𝑞)
b) 𝑝 ↔ 𝑞 2. (𝑝 ˄ 𝑞) ˅ (𝑝 ˄ ¬𝑞) ˅ (¬𝑝 ˄ ¬𝑞)