Упрощение
q∨(¬p)
q∨(¬p)
$$q \vee \neg p$$
$$q \vee \neg p$$