Упрощение
b∧c∧(¬a)
b∧c∧(¬a)
$$b \wedge c \wedge \neg a$$
$$b \wedge c \wedge \neg a$$