Logic Calculator:进行逻辑运算的计算器-开源
逻辑计算器是用于执行逻辑操作的应用程序。 它具有三种模式：（1）逻辑公式的评估：在此模式下，我们具有基本的布尔运算（求反，合取，析取，条件和双条件），因此用户可以插入逻辑公式，并且Logic Calculator会显示真实表公式的模型。 （2）逻辑蕴含：在此模式下，用户可以插入多个前提，后跟多个结论，因此逻辑计算器将显示每个前提/结论的真值表以及这些前提是否逻辑上包含给定条件的结果结论。 （3）将公式转换为析取范式（DNF）和析取范式（CNF）：在此模式下，用户插入一个逻辑公式，并且Logic Calculator在DNF和CNF中输出其表示形式。
文件下载
评论信息
其他资源
- 高级信号完整性技术_中文版.pdf
- mixly第三方库开发教程
- 基于RFID的智能门禁系统
- 凸集投影法（POCS）超分辨重建算法MATLAB实现
- c# winform 非常漂亮的按钮 玻璃按钮效果 按钮样式 风格 希望可以给大家提供帮助 源码
- Cinemachine.rar
- GetData安装包
- 数字滤波器的MATLAB与FPGA实现（第二版）——AlteraVerilog版 配套光盘
- 仿天猫商城ssm框架
- 华擎B75 pro3 主板BIOS版本C1.9添加了slic2.2（联想）
- 吴恩达机器学习个人笔记完整版（带书签）
- 吉林省geojson数据（2021年1月更新，echarts等图表可用）
- 6678多核图像处理
- MySQL 8 中文参考手册.zip chm格式,中英文对照
- 汽车行业重磅！上海大众输送系统培训手册（为PLC工程师讲解程序！将标准介绍的十分详细！熟读就能会编写程序！）学习用！
- 顺德区2018-2019学年度第二学期六年级语文期末试卷及答案.pdf
- Energy-Efficient Joint BS-RS Sleep Scheduling Based on Cellular Automata in Relay-Aided Cellular Networks
- 造福学弟系列 湖南大学 操作系统 实验报告
- 改进的denaulay三角网渐次插入生成算法
- Data Analytics for Beginners: Basic Guide to Master Data Analytics
- 资源管理器项目(包含所有源代码）
- Android TabLayout的Indicator设置为图片
- 基于JAVA实现的图像特征提取源代码
- Unity滑动切换图片
- MFC垃圾清理器V2.0
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明