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