Esto se debió a las dos equivalenciasp→q⇔¬p∨q yp↔q⇔(p∧q)∨(¬p∧¬q). por lo tanto, cualquier proposici...Esto se debió a las dos equivalenciasp→q⇔¬p∨q yp↔q⇔(p∧q)∨(¬p∧¬q). por lo tanto, cualquier proposición que incluya a los operadores condicionales o bicondicionales puede escribirse de manera equivalente usando solo conjunción, disyunción y negación.
