1.从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。
（A）2.求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

求公式的主合取范式和主析取范式c++写的类

实验一利用真值表法求取主析取范式以及主合取范式的实现实验名称：利用真值表法求取主析取范式以及主合取范式的实现实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握实验类型：验证实验学时：4实验环境：Windows+VC从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现）可用字符数组a记录输入的合式公式如：输入PQPQ！表示；
&表示；
|表示；
＞表示；
-表示规范列出所输合式公式的真值表多重循环显示真值表（1表示T，0表示F，先1后0）PQA11？将赋值代入公式（可用数组b记录与a中变量对应的赋值）b[0/2/4/6]=-1,b[1/5]=P值,b[3/7]=Q值从左往右计算（用switcha[i]case对运算符进行处理）：b[i+1]=!b[i+1]：b[i+1]=b[i-1]&&b[i+1]…

离散数学中的范式转换，C++完成合式转换为合取、析取范式

1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。
可以去这里下载运行环境：http://www.skycn.com/soft/3116.html2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。
3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。
由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。
4.计算前请选择变元个数（默认为3元）并对变元赋值。
变元个数最高为5，基本能满足日常的计算。
5.计算器有自动检查表达式能否正确的功能，如果判断功能有误，麻烦您告诉我您的表达式。
作者qq：86143838email:qiaomuf@163.com

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。