Решите лог.выражение
Применим закон замены импликации
A -> B = -A V B
Следовательно преобразуем B будет под двойным отрицанием, двойное отрицание нам дает положительно высказывание.
Следовательно выражение будет иметь следующий вид:
A V B V C