编程题
在有限个体域上验证量词转化律
## 题目描述
请在有限个体域上验证量词转化律:
﹁(∀x)A(x)⇔(∃x)﹁A(x)
﹁(∃x)A(x)⇔(∀x)﹁A(x)
约定:客体变元x的论述范围为{1, 2, ..., n};当代入具体的客体后,每个原子谓词公式的值可以为T或F。
## 输入描述
输入一个正整数n,n≤10。
## 输出描述
记﹁(∀x)A(x)为F1、(∃x)﹁A(x)为F2、﹁(∃x)A(x)为F3、(∀x)﹁A(x)为F4。请在有限个体域上通过枚举客体变元去掉量词并同时列出F1和F2的真值表,F3和F4的真值表,以此验证量词转化律。
## 样例输入
```txt
2
```
## 样例输出
```txt
A(1) A(2) -> F1 F2
0 0 -> 1 1
0 1 -> 1 1
1 0 -> 1 1
1 1 -> 0 0
A(1) A(2) -> F3 F4
0 0 -> 1 1
0 1 -> 0 0
1 0 -> 0 0
1 1 -> 0 0
```
## 知识点
- 有限个体域上客体变元的枚举
- 谓词公式赋值
- 真值表