UVA11108 Tautology

Description

[problemUrl]: https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=23&page=show_problem&problem=2049 [PDF](https://uva.onlinejudge.org/external/111/p11108.pdf) ![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA11108/53224746421c6d107c2059e2c0a79aa55134572f.png)

Input Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA11108/a007c7b4a40381c5942088ed1859bebb4d2cd1db.png)

Output Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA11108/2098b97079ea1b611f094872d1bfce12e4d590b2.png)