proposições, valores lógicos e tautologia

[Carmen]

Smiplifica a seguinte expressão: p ⋁ (~q ⋀ p)
segundo as soluções dá : p. Não consigo perceber como.

Pode ajudar-me. Obrigado

[professorhelio]

Smiplifica a seguinte expressão: p ⋁ (~q ⋀ p)
segundo as soluções dá : p. Não consigo perceber como.

Pode ajudar-me. Obrigado

faça o diagrama de venn que verá que é isso.