Question

Hola, tengo una consulta con la materia de lógica, en especial en estos ejercicios, ya que según tengo entendido tengo que ocupar las leyes de lógica pero nose como.
Demuestre que: p ∨ [(~ p) ∧ q]⇔ p ∨ q.
Demuestre que: p⇒(p ∨ q) es una tautología.

Answer 1

el que dice para demostrar si es una tautologia tenes que hacer la tabla de valores y hay te das cuenta. y el primero nose que es el lo que querés saber