Алгебра логики Основные логические операции ЛЕКТОР доцент МАЙОРОВ Закон двойного отрицания примеры