Логические функции эквивалентность и отрицание определение различные обозначения