P: maria miente con su afirmación

Q: Susana dice la verdad

R: el primo de juan tiene razón

S: juan esta mintiendo

Términos de enlace.

0: disyunción

No: negación

Si y solo si: bicondicional

Si,entonces: condicion

simbolizacion

(p v ¬ q) ⇔(¬r→s)

eliminacion

p v ¬ q ⇔(¬r→s)