不等价的命题公式的真值表 ### 题目描述 给定原子变元的个数n，输出由n个原子变元构成的互相不等价的命题公式(要求每个公式都恰好包含n个原子变元)的真值表。 ### 输入描述 输入占一行，为原子变元的个数n，1≤n≤4。 ### 输出描述 首先列出n个原子变元(用字母表前n个大写字母表示)取值为F或T的组合情形，一共有n行；然后列出由n个原子变元构成的互相不等价的命题公式的真值表（按FFF…F到TTT…T的顺序列出），每个公式的真值表占一行，最前面是序号，从1开始计起。注意，n=4时，要输出：4 + 65536 = 65540行。格式如样例输出所示，其中第1列要右对齐到最大的序号。 ### 样例输入 ```txt 2 ``` ### 样例输出 ```txt A F T F T B F F T T 1 F F F F 2 F F F T 3 F F T F 4 F F T T 5 F T F F 6 F T F T 7 F T T F 8 F T T T 9 T F F F 10 T F F T 11 T F T F 12 T F T T 13 T T F F 14 T T F T 15 T T T F 16 T T T T ``` ### 知识点 - 真值表 - 命题公式等价