Official solution
p \[ \to \] ( ~ q \[ \vee \] r) \[ \equiv \] ~ p \[ \wedge \] ( ~ q \[ \vee \] r) \[ \equiv \] ( ~ p \[ \vee \] ~ q) \[ \vee \] r \[ \equiv \] ~ ( p \[ \wedge \] q ) \[ \vee \] r
p
q
r
(p \[ \wedge \] q) \[ \vee \] r
T
T
T
T
T
T
F
F
T
F
T
T
T
F
F
T
F
T
T
T
F
T
F
T
F
F
T
T
F
F
F
T