Являются ли две приведенные формулы исчисления высказываний равносильными?
A&B&C∨ ¬B ∨B&¬(A∨¬C)) и ¬B∨C