UVA10847 Basic Tautologies

Description

[problemUrl]: https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=20&page=show_problem&problem=1788 [PDF](https://uva.onlinejudge.org/external/108/p10847.pdf) ![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA10847/0564d777990182ced8980378c2a0feae2c0647e9.png)

Input Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA10847/65e9ae3df3f143bebe9fbd2ea61c1f62666e3605.png)

Output Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA10847/47e81f7afed64b80f503c9babe472db498e252f5.png)