es de lógica proposicional :
• (p v r) ^~[(q v p) r ]
•[(p -> q) ^(q->r)->(p->r)
•~[(p->q)^(q<->p)]
ya se q puse los signos mal es q no se como ponerlos pero por favor ayuda ​