В исчислении высказывания я преобразовываю формулу ⌐(⌐A→B)→(⌐B→⌐C)= ⌐(AvB)→(⌐B→⌐C). По условию мне запрещено заменять подформулу на эквивалентную Могу ли я так преобразовать первую скобку? - вопрос №3840665