Added unit tests for NOT, AND, OR, COND, BICOND
Defined functions for not, and, or, conditional, biconditional
Initializer for truthtable
Updated with description