ปัญหาการหาค่าวงจร (หรือปัญหาการประเมินค่าวงจร) คือปัญหาการคำนวณเพื่อหาค่าเอาต์พุตของวงจรบูลีน ที่กำหนดให้ โดยพิจารณาจากอินพุตที่กำหนดให้

ปัญหาดังกล่าวเสร็จสมบูรณ์สำหรับP ภายใต้การลด AC ⁰แบบสม่ำเสมอโปรดทราบว่า ในแง่ของความซับซ้อนของเวลาสามารถแก้ไขได้ในเวลาเชิงเส้นโดยใช้การเรียงลำดับเชิงโทโพโลยีเพียง อย่างเดียว

ปัญหาค่าสูตรบูลีน (หรือปัญหาการประเมินสูตรบูลีน) เป็นกรณีพิเศษของปัญหาเมื่อวงจรเป็นต้นไม้ ปัญหาค่าสูตรบูลีนสมบูรณ์สำหรับNC ¹เมื่อเทียบกับการลด AC ^{0 [ 1 ]}

ปัญหานี้มีความเกี่ยวข้องอย่างใกล้ชิดกับปัญหาความสามารถในการทำให้เป็นจริงของตรรกะบูลีนซึ่งเป็นปัญหาที่สมบูรณ์สำหรับNPและส่วนเติมเต็มของมันคือปัญหาสัจนิรันดร์เชิงประพจน์ซึ่งเป็นปัญหาที่สมบูรณ์สำหรับco- NP

• ความสามารถในการทำให้วงจรเป็นจริง
• เลมมาสลับ