Решение логической задачи: Там не (не(А))?

Вы абсолютно правы, давайте разберем этот момент подробнее, чтобы в тетради всё было логично и понятно. В первой скобке у нас стоит выражение \( \overline{A} \rightarrow B \). Согласно закону замены импликации: \[ X \rightarrow Y = \overline{X} \vee Y \] В нашем случае роль \( X \) играет выражение с отрицанием, то есть \( \overline{A} \). Поэтому, когда мы применяем формулу, мы должны поставить еще одно отрицание над всей левой частью: \[ \overline{(\overline{A})} \vee B \] Именно здесь возникает двойное отрицание. По закону двойного отрицания две черты сокращаются: \[ \overline{\overline{A}} = A \] Таким образом, первая скобка превращается в: \[ A \vee B \] Весь процесс упрощения для тетради выглядит так: 1) Заменяем импликацию: \( (\overline{\overline{A}} \vee B) \vee (A \vee B) \) 2) Убираем двойное отрицание: \( (A \vee B) \vee (A \vee B) \) 3) По закону идемпотентности (\( X \vee X = X \)) получаем итоговый ответ: \[ A \vee B \] Так что ваше замечание про «не не А» совершенно верное — это промежуточный этап, который в итоге приводит к простому \( A \).