Boole memnuniyetinin NP-Complete olduğunu biliyorum, ancak sembolik formda belirli bir ifadeyi almak ve sembolik formda bir eşdeğer ancak basitleştirilmiş ifade, NP-Complete üretmek anlamına gelen bir
SAT'ın NP-tamamlandığının kanıtı yapıcı bir kanıttır, bu yüzden bunu bir program olarak uygulamak mümkün olmalıdır. Bunu yapan var mı? Bir program (girdi doğru ya da yanlış) giriş olarak alan ve SAT f