This was a first attempt at writing a Prolog programme to convert boolean expressions into CNF.
The code in this repository is available under the MIT license.
This repository has been archived by the owner on Jun 14, 2021. It is now read-only.
This was a first attempt at writing a Prolog programme to convert boolean expressions into CNF.
The code in this repository is available under the MIT license.