cxjdavin / Unate-Recursive-Paradigm

Checks if a "Sum of Product" is a tautology

Unate-Recursive-Paradigm

Checks if a "Sum of Product" is a tautology.

Represent "Sum of Product" function as a vector of vectors.

This is purely for "proof of concept" and can be further optimised.

Note: Requires C++11 to compile

g++-5 -std=c++11 -o URP URP.cpp
./URP