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