1. Qt Creator下载和安装(详细教程)
https://blog.csdn.net/win_turn/article/details/50465127
博客分别介绍了Qt4和Qt5的安装过程，我选择的是Qt4。

2.用C++完成题目要求(代码在另外一篇博客)

【问题描述】
请根据给定的命题公式，计算其真值为T的小项，列出主析取范式，并输出结果。
【输入形式】
输入一个字符串（字符串长度<=50）形式的命题公式，以回车表示输入结束。其中的命题公式为仅包含原子命题、联结词和括号的合式公式。联结词仅包含下述5中联结词：
1、否定，表示为“!”
2、合取，表示为“*”
3、析取，表示为“|”
4、条件，表示为“-”
5、双条件，表示为“=”
例如：
(P-Q)-R
注意：输入符号均采用英文输入。
【输出形式】
输出一个以单个空格分隔的字符串，字符串中各项分别对应主析取范式中小项的序号。
如(P-Q)- R对应的小项为
则输出1 3 4 5 7
注意：其中的原子命题按字母表排序。

3.新建项目

添加资源文件
ctrl + N 选择Qt Resource File

默认设置一直点下一步
添加前缀，添加文件（图片）

src是我之前添加好的：

设计UI界面
双击这个

拖拖拽拽，设计下stylesheet
右击button转到槽，修改一下代码

把之前写好的.cpp文件简单修改，改名为function.cpp加到项目中。

然后添加对应的.h文件，内容填好。
点击运行查看效果。