求IT大神相助

少年佳人

最近有道问题就是做不好 是“离散数学中命题公式及其类型判断”
算法作为软件来开发，提交的是可视化的软件，软件实现的功能最少包括：
1、应能让用户自主输入随机公式
2、给出算法判定公式类型的每一步
3、给出判断公式类型的真值表,并给出结论.
程序代码请给予详细解释。
求哪位大神可以相助