El problema es que a partir de una premisa (en tu caso la premisa
(p ∧ q) ∨ r), puedes obtener
INFINITAS conclusiones utilizadando las leyes de inferencia (y las
leyes de la lógica), luego sería imposible obtenerlas todas.
Por ejemplo, de la premisa
(p ∧ q) ∨ r podemos deducir que
p ∨ r, es decir:
(p ∧ q) ∨ r => p ∨ r
De la premisa
(p ∧ q) ∨ r también podemos deducir que
q ∨ r, es decir:
(p ∧ q) ∨ r => q ∨ r
... etcétera.
Aquí tienes un generador de tablas de verdad que te puede ayudar:
https://web.stanford.edu/class/cs103...th-table-tool/
Prueba introduciendo las expresiones
(p ∧ q) ∨ r => p ∨ r y
(p ∧ q) ∨ r => q ∨ r y verás que todas las entradas tienen valores verdaderos (T), eso significa que la conclusión es correcta.
Saludos
