Разговор закончен.
OK. Игнор взаимный.
Короче, ВЫ ОБА этики, хотя и пытаетесь догадать наличие логики(которой как раз и нет!), и толку от вас при проектировании будет не много(точнее - совсем не какого, в смысле для написания ТЗ)...
Но на этапе реализации, если не будете зарываться и корчить из себя умных, а делать по плану - то вполне можете быть полезны...
Хотя.. хотя примеры получились тоже ничего - для FAQ сойдет, логики бы и вопросов таких не задали конечно - но ведь надо еще и народу объяснить что к чему и почему...
Даже элементарную задачку разрулить не способны! :
Кто догадается?..
Догадываться не нужно, ответ в сообщении, из которого цитата. Есть законы формальной логики, описанные Аристотелем и Лейбницем.
не припомню таких, напомни, на каких участках эти судьи?

Если ими не пользоваться, то будет не логика, а херня. А если пользоваться, то подобных вопросов в принципе не возникнет.
- не возникает, но ГДЕ и У КОГО? Ты же не думаешь, что все судьи логики, да еще и знакомы с логикой?..
А задачка разруливается элементарно! (с точки зрения логики - да, все правильно, ПАТОВАЯ ситуация!)
Решение(выход) очень простое: "нам бог нафиг не нужен", вот и все!
То есть логика не ограничена boolean, реальный мир чуть шире, и ответом(решением) тут должно быть практически действие...
(А вот пример вы привели хороший - надо просто развернуть автоматы в сторону государства - в этом случае логика начинает уже работать по-другому, в смысле вообще работать...)
Аналогичный пример - помните анекдот "пусть теперь он сам не спит, мучается" (про евреев и долги, вроде)...
Как-то так, примерно. Или вы за то, чтобы проекты клинило при каждой вот такой логически-неразрешимой комбинации переменных?

Тем более в условиях, когда решение требуют...