There are two parts to proving that the Boolean satisfiability problem (SAT) is NP-complete.
Υπάρχουν 2 μέρη για να αποδείξεις ότι το πρόβλημα ικανοποιησιμότητας Boolean (SAT) είναι NP-πλήρες.