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