SP147 TAUT - Tautology

编写一个程序来检查给定的逻辑表达式是否是重言式。 如果对于一个逻辑表达式，无论其变量的逻辑值如何，其值始终为真，那么这个表达式是一个重言式。

第一行为一个正整数**q**(0

对于每一个表达式，对应一行输出。 若该表达式为重言式，则输出YES,否则输出NO。