Question

Решите лог.выражение

Answer 1

Применим закон замены импликации

A -> B = -A V B

Следовательно преобразуем B будет под двойным отрицанием, двойное отрицание нам дает положительно высказывание.

Следовательно выражение будет иметь следующий вид:

A V B V C