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