Двойное отрицание логической переменной равно