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