iEngine. Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms