Основные задачи логических систем (теорий) - online presentation Полные системы булевых функций примеры