tmerr/truthtable-to-inf

Convert a truth table to a list of sentences in implicative normal form

Python