"основы логики и логические основы компьютера" 1 закон тождества пример