Записки автоматизатора

Кстати, прекрасные образцы для подражания в постановке задач имеются в Книге Левит Ветхого Завета: «скажите сынам Израилевым: вот животные, которые можно вам есть из всего скота на земле: всякий скот, у которого раздвоены копыта и на копытах глубокий разрез, и который жует жвачку, ешьте; только сих не ешьте из жующих жвачку и имеющих раздвоенные копыта: верблюда, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас; и тушканчика, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас, и зайца, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас; и свиньи, потому что копыта у нее раздвоены и на копытах разрез глубокий, но она не жует жвачки, нечиста она для вас» (Левит 11: 2–7). Вот настоящий пример Божественной формализации: сначала описано общее правило, а потом еще дано несколько примеров, подтверждающих, что в общем правиле условия, подлежащие проверке, соединены логическим «и», а не «или».