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