Krom formula

Redirect to:

• 2-satisfiability