Es una pregunta de Logica de las tablas de verdad?

Es una pregunta de Logica de las tablas de verdad. ¿Como se haria una tabla de verdad con estas formalizaciones? [( p + q ) ^ ¬ ( q v p )] - - > ( p - - > ¬ q). Y la otra [( p ^ q) ¬ (p ^ q) + = disyuncion compuesta ^ = conjuncion ¬ = negacion - - > = condicional v = disyuncion simple = bicondicional Gracias.