Отрицание в логике высказываний — это логическая операция, которая ... Варианты: 1) истинна только тогда, когда исходное выражение ложно; 2) истинна только тогда, когда оба исходных высказывания истинны; 3) ложна только тогда, когда одно исходное высказывание ложно, а другое истинно.