Search

Logic Solver (truth tables)

Did you develop this app? Access more services »

Logic Solver (truth tables)


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).
Add to list
Free
74
3.7
User ratings
163
Installs
10,000+
Concerns
1
File size
103 kb
Screenshots
Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables) Screenshot of Logic Solver (truth tables)

About Logic Solver (truth tables)
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).

Visit Website
User reviews of Logic Solver (truth tables)
Write the first review for this app!
Android Market Comments
A Google User
Oct 3, 2014
Great app!
A Google User
Aug 31, 2014
How to use it I hard to do ..there's an app but the problem is how to use it!
A Google User
Aug 23, 2014
poor
A Google User
May 17, 2014
Amazing Pretty much coasted me thru my applied mathematics class. Great app!
A Google User
May 15, 2014
No matter which function you set in. the result is in always in each collumn/row 0.. it doesnt work..