Mantiqiy amallarni arifmetik amallar orqali ifodalash va hisoblash algoritmi

Teskari polyakcha yozuvda yozilgan ifodani hisoblash algoritmi.
Mantiqiy ifodaning qiymatini hisoblash uchun uning teskari polyakcha yozuvga sini berilgan satr deb hisoblab, undagi o‘zgaruvchilarning qiymati uchun stek hosil qilinadi.

1. 
   Teskari polyakcha yozuvdagi barcha o‘zgaruvchilarga berilgan qiymatlar ta’minlanadi va natijada kirish satrida faqat qiymatlar va amallar bo‘ladi.
   
2. 
   Kiruvchi satrning navbatdagi belgisi mantiqiy qiymat bo‘lsa, u stekga joylashtiriladi.
   
3. 
   Agar navbatdagi belgi amal ishorasi bo‘lsa, qiymatlar stekining ikkita yuqoridagi elementi olinadi va ular uchun ushbu amal qo‘llaniladi va stek
   

cho‘qqisiga yoziladi.

4. 
   Agar kirish satrida qaralmagan belgi mavjud bo‘lsa 2-qadamga qaytiladi. Qiymatlar stekida hosil bo‘lgan eng oxirgi qiymat berilgan ifodaning qiymati
   

hisoblanadi.
Adabiyotlar

1. 
   Kenneth H. Rosen, Discrete mathematics and its applications, 7-edition, The McGraw-Hill Companies, 2012.
   
2. 
   D. Du, J. Gu, and P,M. Pardalos, editors. Satisfiability Problem: Theory and Applications, volume 35. American Mathematical Society, 1997.
   
3. 
   Ines Lynce and Joao P. Marques-Silva An overview of backtrack search satisfiability algorithms Annals of Mathematics and Artificial Intelligence 37: 307-326, 2003.
   
4. 
   . Люггер Д.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем. – М.: Издательский дом «Вильямс», 2005. – 864 с.
   
5. 
   5. Богомолова О. Б. Логические задачи. / -4-е изд., испр. и доп. - М. : БИНОМ. Лаборатория знаний, 2013. - 277 с.: ил.