Yanıtlar:
Teknik olarak, 3 'i , ancak büyük olasılıkla "gerçek" " misal.
Bu durumda, bir 3CNF formülü en az 3 değişkene ihtiyaç duyar. Her fıkra tam olarak bir ödevi dışladığı için, tatmin edici olmayan bir formüle sahip olmak için en az cümlesine ihtiyacınız olduğu anlamına gelir . Gerçekten de, en basit olanı:
Bu formüllerin daha karmaşık örneklerini istiyorsanız , SATLIB'nin bazı karşılaştırma sorunlarına bir göz atın . ToughSAT ayrıca 3-SAT örnekleri oluşturmak için güzel bir araçtır; hem tatmin edici hem de tatmin edilemez örnekler oluşturmak kolaydır.