Vv

• ¿Es la conjugación de p y q comutativa?

  p ∧ q ≡ q ∧ p
• ¿Es p una fórmula idempotente?


  p ∧ p ≡ p
• ¿Es la disyunción de p y (q ∧ r) distributiva sobre conmoción?


  p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
• ¿Es la disyunción de p, q y r ascriptiva?


  - (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
• ¿Es la disyunción de p y q comutativa?

  p ∨ q ≡ q ∨ p
• ¿Es p una fórmula idempotente?


  p ∨ p ≡ p
• ¿Es p ∨ V equivalente a V?


  Sí, p ∨ V ≡ V
• ¿Es p ∨ F equivalente a p?

  Sí, p ∨ F ≡ p
• ¿Es p ∧ V equivalente a p?

  Sí, p ∧ V ≡ p
• ¿Es p ∧ F equivalente a F?

  Sí, p ∧ F ≡ F
• ¿Es p ∨ ~p equivalente a V?

  Sí, p ∨ ~p ≡ V
• ¿Es p ∧ ~p equivalente a F?

  Sí, p ∧ ~p ≡ F
• ¿Es p → q equivalente a ~p ∨ q?


  Sí, p → q ≡ ~p ∨ q
• p ∧ (~p ∨ q) → p ∧ q?


  Sí, p ∧ (~p ∨ q) ≡ p ∧ q
• p ∨ (~p ∧ q) → p ∨ q?

  Sí, p ∨ (~p ∧ q) ≡ p ∨ q
• p ∧ (p ∨ q) → p?


  Sí, p ∧ (p ∨ q) ≡ p
• p ∨ (p ∧ q) → p?


  Sí, p ∨ (p ∧ q) ≡ p
• ¿Qué es p ↔ q?

  <front>=</front> (p → q) ∧ (q → p) OR p ∧ q ∨ ~p ∧ ~q OR ~(p Δ q)
• ¿Qué es ~(-(*p* ∧ *q*))?


  (~*p* ∨ ~*q*)
• ¿Qué es ~(*p* ∨ *q*)?


  (~*p* ∧ ~*q*)