ready for review

[Retr05041]

Created a discrete maths package, along with a simple logical operations module for it, which has:

• [x] Gates for: negation, conjunction, disjunction, implies, bi-implication, xor, nand, nor, xnor
• [x] Truth Table generator
• [x] Tautology Checker

Along with a discrete maths cog for client side command linkage to the package.