สมมติว่าเรามีสตริงที่มีนิพจน์บูลีนที่มีตัวดำเนินการ และ และ หรือ ประเมินและส่งคืนผลลัพธ์ ในที่นี้ นิพจน์อาจมีวงเล็บ ซึ่งควรประเมินก่อน ดังนั้น หากอินพุตเป็น s =T และ (F หรือ T) ผลลัพธ์จะเป็น True เพื่อแก้ปัญหานี้ เราจะทำตามขั้นตอนเหล่านี้: stack :=รายการใหม่ t =รายการองค์ประกอบของ s แบ่งตามช