离散作业

这几天的学习主要是完成离散作业，学习了逻辑运算的概念和操作，并用Python实现了逻辑运算的真值表，以及逻辑运算的基本运算规则。

项目地址：Discrete_Mathematics

命题逻辑分析系统

功能

1. 求任意一个命题公式的真值表。
2. 求任意一个命题公式的主范式。
3. 判断两个命题公式是否等值。

设计灵感

1. 遵循简单的设计原则，使用Python语言编写。
2. 以git的bash程序和gui程序为灵感，设计了两个模式，面向用户，方便用户选择

效果如下：

bash模式：

gui模式：

程序源码介绍

1. main.py：程序的入口，用于接收用户对系统模式的选择，进一步调用其他模块。
2. bash.py: 系统的bash模式，运行于命令行窗口，用于接收用户输入的命题公式，调用其他模块进行分析。
3. gui.py: 系统的gui模式，运行于图形化界面，用于接收用户输入的命题公式，调用其他模块进行分析。
4. calculate.py: 系统的运算核心模块，用于计算命题公式的真值表，同时推测出公式的主范式。

使用介绍：

1. 运行main.py，选择模式。
2. 选择bash模式，在命令行窗口中输入命题公式，系统将自动计算真值表和主范式。
3. 选择gui模式，在图形化界面中输入命题公式，系统将自动计算真值表和主范式。
4. 输入两个命题公式，系统将自动判断两个命题公式是否等值。

OR
直接运行bash.py或gui.py，main.py仅仅便于bash模式或gui模式的选择与切换。
bash模式与gui模式的功能相同，只是输入方式不同。且两个模块与main.py相互独立，可单独运行。

标注

本系统的核心模块为calculate.py，用于计算命题公式的真值表。附加功能：推测出公式的主范式。
本系统的bash.py和gui.py模块用于接收用户输入的命题公式，调用其他模块进行分析。
本系统的main.py模块用于接收用户对系统模式的选择，进一步调用其他模块。