ConjunctiveNormalForm

Determines which boolean-values must be given to a formula to make it satisfiable.

Example

To test the algorithm, we'll be using the following four formulas

• 
• 
• 
• 

There are three solutions for the first one:

• A = false, B = false, C = true
• A = false, B = true, C = false
• A = false, B = true, C = true

We'd like the output of the algorithm to be:

["001", "010", "011"]

Actual output

Given the formula we'll get the following output

Given the formula we'll get the following output

In the pictures, there is a typo. It reads "formumla" instead of formula. This has been fixed.

Installation

You must first transpile the .ts files to .js, using tsc. Afterwards you can run the project using node runner.js