第5关：主合取范式

任务描述
编程要求
输入
输出
输入样例
输出样例
任务描述
本关任务：求公式(p∨q)→r的主合取范式。

编程要求
根据提示，在右侧编辑器补充代码，计算并输出公式(p∨q)→r的主合取范式

输入
本题无输入。

输出
在单独的一行中输出公式的主合取范式，所有极大项按照对应的解释的字典顺序输出。即p∨q∨r是字典顺序的第一个极大项，¬p∨¬q∨¬r是字典顺序的最后一个极大项。每个极大项用一对圆括号括起来。如果是恒真公式，则直接输出1。

输入样例
本题无输入。

输出样例
(p∨¬q∨r)∧...

开始你的任务吧，祝你成功！

# include <stdio.h>
int main()
{
//********************************begin******************************//
//r=0,p∨q=1;p=1,q=1;p=0;q=1;p=1,q=0;
printf("(p∨¬q∨r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)");
//********************************begin******************************//
return 0;
}