网站首页  手机软件  手机游戏  翻译软件  电影下载  电视剧下载  资讯攻略

请输入您要查询的手机软件:

 

游戏 Logic Solver (truth tables)
分类 新闻阅读
语言
大小 103KB
版本 1.2
下载
介绍
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.
随便看

 

电脑知识库分享最好的手机软件app下载栏目,提供最新的生活软件、手机直播应用等手机app下载,每日更新优秀的手机应用给大家。

 

Copyright © 2002-2024 pc699.com All Rights Reserved
更新时间:2026/1/11 9:02:00