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