Alguien me puede explicar el tema de tecnología sobre algoritmos
- [(p ∨ ¬q) → (p ∧ r )] ↔ [ ¬(¬ q v ¬ r) v ( r → ¬ q) ]
- [(¬p v q) → r] ↔ [(p ∧ ¬q) v r]
- {(p ↔ q) ∧ ¬r } ↔ {¬¬(¬q v ¬r) v(r v s)}
- [¬{(p ∧ ¬q) → r} → {¬(q ↔ ¬r) v q)}] ∧ ¬(¬ p ∧ ¬ ¬¬p)
- ((p v ¬r ) ¬p) ∧ (¬(¬q r) ↔ ¬r)
