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