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