Added code for truth tables. Need to work for multiple conclusions.
Added code for truth tables. Need to work for multiple conclusions.

blomqcon/logic-solver,blomqcon/logic-solver,blomqcon/logic-solver,blomqcon/logic-solver