【實用教育app】Logic Solver (truth tables)|最夯免費app-綠色工廠好玩App

This program show truth tables, you enter a proposition with the letters you prefer, for example: PvQ^R or Av~B, and the program show you the truth table.

This program also help you to simplify propositions by showing 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 Ponens(MP), Modus Tollens(MT), Modus Tollens Ponens(MTP), hypothetical syllogism(HS), Constructive dilemma(CD), Conjunction Introduction(Conjunction), Conjunction Elimination(Simplification), Disjunction Introduction(Addition).