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).
免費玩Logic Solver (truth tables) APP玩免費
免費玩Logic Solver (truth tables) App
Logic Solver (truth tables) APP LOGO
Logic Solver (truth tables) APP QRCode
| 熱門國家 | 系統支援 | 版本 | 費用 | APP評分 | 上架日期 | 更新日期 |
|---|---|---|---|---|---|---|
| 未知 | Android Google Play | 1.2 App下載 | 免費 | 1970-01-01 | 2015-01-14 | |
| 台灣 Taiwan | Android Google Play | 1.2 App下載 | 免費 | 2012-06-10 | 2015-01-14 |
