Условие попадания в область

[somebody_now]

Задание в следующем:
Определить логическое выражение, определяющее условие попадания в закрашенную область, если логическая переменная А - условие попадания в прмоугольник, В - условие попадания в малый круг, С - условие попадания в большой круг.
1. A(B <-> C) + (неA)BC;
2. B(A <-> C) + AB(неC);
3. B(A <-> C) + A(неB)C;
4. A(не(C <-> B)) + ABC;
5. A(не(C <-> B)) + (неA)BC;
По-моему правильность второго варианта очевидна, но это, как говорится, "на глазок", ведь B(A <-> C) - это есть заштрихованный малый круг в совокупности с пересечением прямоугольника и круга большого или же часть вторая: AB(неC), который отсекает часть большого круга, не входящую в прямоугольни, пусть и пересекающую малый круг.
Как доказать правильность этого условия с точки зрения логики и доказать обратное по отношению к остальным вариантам?

[BBB]

B и (не (B и C и (не A)))

Зашрихованная область - это малый круг за исключением "выщеблинки", которая является частью пересечени ядвух кругов, лежащей вне прямоугольника.

[somebody_now]

BBB, спасибо, разобрался.
теперь у меня другой вопрос по этому заданию:
как и можно ли вообще перенести его в делфи,чтобы закрашенная область определялась там автоматически. есть ли вообще для этого возможности?