show truth tables, simplify propositions, rules of inferenceThis program show truth tables, you enter a proposition with the letters you prefer, for example: PvQR or AvB, and the program show you the truth table.This program also help you to simplify propositions byshowing you a list of posibles logical equivalences.The program also help you with the rules of inference, you enter many proposition, and the program show you posibles inferences like: Modus PonensMP, Modus TollensMT, Modus Tollens PonensMTP, hypothetical syllogismHS, Constructive dilemmaCD, Conjunction IntroductionConjunction, Conjunction EliminationSimplification, Disjunction IntroductionAddition.