先输入一个正整数n（n小于等于10），表示共有n个命题变元，再输入一个类似于逆波兰表达式的字符串表示一个命题公式，约定在该字符串中用一位的十进制数表示一个命题变元，用a、o、n、i、e分别表示且、或、非、蕴含、等值，用类似于逆波兰表达式形式的字符串表示的命题公式的真值表波兰表达式（即二元运算，两个操作数在前，运算符在后；一元运算，一个操作数在前，运算符在后）。
用真值表方法证明他是否是一个重言式，如果是输出Yes，如果不是输出No。
先输入一个整数n，表示有n个命题变元，再输入一个字符串，它是用逆波兰表示法表示的命题公式。