谓词公式赋值-2 ## 题目描述 个体域D中有n个元素（分别用1, 2, …, n表示），f是定义在D上的函数，值域也是D。二元谓词F的定义域为D×D。求谓词公式∃y∀xF(x, f(y))在给定赋值（即给定f和F在其各自定义域上的所有取值）下的真值。 ## 输入描述 第一行为一个正整数n，n≤10，表示D中元素的个数。接下来的一行有n个值（范围在1~n），分别表示f(i)的值, i = 1, 2, …, n。再接下来有n行，每行有n个正整数，取值为1或0，表示二元谓词F的取值；第i行第j列的值，表示F(i, j)的值。 ## 输出描述 输出一行，为一个布尔值，表示谓词公式∃y∀xF(x, f(y))在该赋值下的值。 ## 样例输入 ```txt 4 1 3 2 4 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 ``` ## 样例输出 ```txt 0 ``` ## 知识点 - 谓词公式赋值