1. مسئله را بیان می‌کنیم: باید مقادیر بولین (True یا False) برای متغیرهای $a$, $b$, $c$, و $d$ طوری تعیین شود که شرط‌های کد داده شده برقرار باشد و پیام "Batman saved Gotham!" چاپ شود. 2. شرط اول: $a \neq c$ 3. شرط دوم: $\neg (c \wedge b)$ یعنی $c$ و $b$ نباید هر دو True باشند. 4. شرط سوم: $d \wedge b$ یعنی هر دو $d$ و $b$ باید True باشند. 5. از شرط سوم داریم $b = True$ و $d = True$. 6. از شرط دوم با توجه به $b = True$، باید $c = False$ باشد چون $\neg (c \wedge b)$ باید True باشد. 7. از شرط اول با توجه به $c = False$، باید $a \neq False$ یعنی $a = True$ باشد. نتیجه نهایی: $$a = True, b = True, c = False, d = True$$ با این مقادیر، تمام شرط‌ها برقرار است و پیام چاپ می‌شود.