KNFC

KNF Converter - tool for converting a formula to knf

formula (eg p v q)

formula is not valid

Invalid formula! If you think, this should have worked, please open an issue on github.

Result will be here