用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++完成合式转换为合取、析取范式

（含源码及报告）本程序分析了自2016年到2021年（外加）每年我国原油加工的产量，并且分析了2020年全国各地区原油加工量等，含饼状图，柱状图，折线图，数据在地图上显示。
运转本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运转。
文件含6个excel表，若干个csv文件以及一个名字为render的html文件（需要用浏览器打开），直观的数据处理部分是图片以及html文件，可在地图中显示，数据处理的是excel文件。
不懂可以扫文件中二维码在QQ里面问。

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