.. raw:: html

   <script>ODSA.SETTINGS.MODULE_SECTIONS = [];</script>

.. _threeSAT:


.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = true;ODSA.SETTINGS.MODULE_NAME = "threeSAT";ODSA.SETTINGS.MODULE_LONG_NAME = "3-CNF Satisfiability";ODSA.SETTINGS.MODULE_CHAPTER = "modules"; ODSA.SETTINGS.BUILD_DATE = "2022-11-29 16:52:11"; ODSA.SETTINGS.BUILD_CMAP = false;JSAV_OPTIONS['lang']='en';JSAV_EXERCISE_OPTIONS['code']='java';</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:



.. odsalink:: AV/NP/threeSATCON.css
.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2012-2020 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :author: Nabanita Maji
   :topic: NP-completeness

3-CNF Satisfiability
====================

3-CNF Satisfiability
--------------------

3-CNF SATISFIABILITY PROBLEM (3-SAT)

.. inlineav:: threeSATCON ss
   :points: 0.0
   :required: False
   :threshold: 1.0
   :long_name: 3-Satisfiability
   :output: show

Try out an instance of the 3-SAT problem on your own.

.. avembed:: Exercises/NP/threeSATPRO.html ka
   :module: threeSAT
   :points: 1.0
   :required: True
   :threshold: 1.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java
   :long_name: Practice Exercise for 3-SAT

.. odsascript:: AV/NP/threeSATCON.js