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