1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。
可以去这里下载运行环境:http://www.skycn.com/soft/3116.html2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。
3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。
由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。
4.计算前请选择变元个数(默认为3元)并对变元赋值。
变元个数最高为5,基本能满足日常的计算。
5.计算器有自动检查表达式能否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
作者qq:86143838email:qiaomuf@163.com
2018/5/21 17:08:33 6.79MB java swt 开源 离散
1
泛域名克隆版与单域名克隆版的基本差别:1.泛域名版只支持同一目标站下有无数二级域名的克隆,比如qq.comnews.qq.comsoft.qq.com==>你的域名.comnews.你的域名.comsoft.你的域名.com2.单域名版支持无限不同目标站克隆到本人二级域名下,比如news.qq.com==>xinwen.你的域名.com|soft.baidu.com==>ruanjian.你的域名.com3.泛域名版只需要设置一次,克隆全部二级域名(需域名泛解析支持),单域名有多少二级域名就要设置多少次。
程序的安装说明:1.上传目录中的文件到服务器(请确保支持域名泛解析和伪静态)2.执行安装脚本http://您的域名/install/3.参照页面提示,进行安装,直至安装完毕。
2020/4/11 1:24:30 349KB 源码
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡