Оператор отрицания НЕ в логических выражениях меняет значение на противоположное, потому что инвертирует логическое значение: если условие истинно, то результат применения оператора отрицания будет ложным, и наоборот. 4
Это следует из таблицы истинности, где показано, что отрицанием истинного высказывания будет ложное, а отрицанием ложного — истинное. 2