A package that contains implementations of some Propositional Logic operators like implication, converse, etc. Also contains basic implementation of DeMorgan's Law
All functions in this are :
AND, NOT, OR, XOR, IMPLICATION, BI_IMPLICATION, INVERSE, CONTRAPOSITIVE, and a basic implementation of DeMorgan's Law with Strings