Ağıllı Beyin Dadlı Beyindir

Zombilər sizi və komandanızı küncə sıxışdırıblar. Ümid yoxdur…

Ancaq gözləyin! Birdən onlar hamısı irəliləməkdən dayanır və sizə bir təklif edirlər. Məlum olur ki, zombilər yaxşı dadlı beyinlər tapmaqda çətinlik çəkirlər — bu isə zombi üçün ağıllı beyinlər deməkdir (zombilər üçün kommunikasiya ixtisası üzrə məzunun beyni qədər iyrənc bir şey yoxdur). Beyinləriniz çox dadlı olsa da, zombilər başa düşürlər ki, onları, digər ağıllı beyinləri tapmaqda kömək etməklə, daha yaxşı istifadə edə bilərlər. Təklif belədir: zombilərə verilmiş məntiqi ifadəyə düzgün cavab verən bir beyin ağıllıdır (və buna görə dadlıdır) ya yox, müəyyən etməyə kömək edin və onlar komandanızı buraxacaqlar — ən azı hələlik.

Böyük beyinli komanda olaraq, tezliklə anlayırsınız ki, beyin ağıllıdır, əgər o, verilmiş məntiqi ifadəyə düzgün cavab verə bilər. Siz bir neçə məntiqi ifadə hazırlayıb onları müxtəlif beyinlərdə yoxlamağa başlayırsınız.

Hər bir məntiqi ifadə aşağıdakı kimi, deterministik və rekursiv olaraq təyin edilir:

1. ifadə $=$ '(' $+$ (dəyər və ya ifadə) $+$ əməliyyat $+$ (dəyər və ya ifadə) $+$ ')'

2. dəyər $=$ 't' və ya 'f'

3. əməliyyat $=$ '' və ya '|'

4. İstənilən dəyər və ya ifadə, istəyə bağlı olaraq, başlanğıcda '!' ilə verilə bilər.

İfadədə yalnız aşağıdakı simvollar istifadə edilir. Hər birinin mənası:

1. '' AND (və) deməkdir. $(a\&b)$ hər ikisi də doğru olduqda doğrudur; əks halda, yanlışdır.

2. '|' OR (və ya) deməkdir. $(a|b)$ hər ikisi də yanlışdırsa yanlışdır; əks halda doğrudur.

3. '!' NOT (deyil) deməkdir. $!(a)$ doğru olduqda yanlışdır; əks halda, doğrudur.

4. '(' və ')' ifadənin başlanğıc və son nöqtələridir. Daxili mötərizələrdəki ifadələr əvvəlcə hesablanır. Hər açıq mötərizə üçün bağlayan mötərizə var.

5. 't' və 'f' müvafiq olaraq doğru və yanlışdır.