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