search

IDNI / TML

Tau Meta-Language
http://www.idni.org
122 stars 28 forks source link

PNF conversion #24

Closed createx1 closed 4 years ago

createx1 commented 4 years ago

This merge contains PNF conversion that comprises demorgan, pull quantifier and variable substitution transformation along with tests.

createx1 commented 4 years ago

I have just checked the conflict. Its not issue. There were some changes in printnode, that were removed for pretty printing.