Основы логики. логические основы компьютера Закон исключения третьего в логике примеры