логическая операция, в результате которой получается высказывание, истинность которого противоположна истинности исходного высказывания.