Necesito Expresión formal del razonamiento: Y TABLA DE VERDAD[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(∼𝑝∨𝑝)]⟶(𝑞∨𝑟)Y las leyes de inferencia

Si Bibiana aprueba el periodo académico entonces Johanna y Santiago sus hermanos se enojan con ella. Y si no aprueba el periodo académico, pierde los beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo académico o no lo aprueba. Por lo tanto, Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de la beca obtenida en la Universidad.

Necesito Expresión formal del razonamiento: Y TABLA DE VERDAD
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(∼𝑝∨𝑝)]⟶(𝑞∨𝑟)
Y las leyes de inferencia