计算题

设有向图D=〈V，E〉，其中V={v₁，v₂，v₃，v₄}，其邻接矩阵为

试求D中各顶点的入度与出度。

（x）（（y）A（x，y）→（x）（y）（B（x，y）∧（y）（A（x，y）→B（x，y）））求前束范式

问答题¬（∀x）（（∃y）A（x，y）→（∃x）（∀y）（B（x，y）∧（∀y）（A（x，y）→B（x，y）））求前束范式

（x）（y）（（z）（A（x，z）∧B（x，z））→（u）R（x，y，u）,求前束范式

问答题（∀x）（∀y）（（∃z）（A（x，z）∧B（x，z））→（∃u）R（x，y，u）,求前束范式

（x）P（x）∨（x）Q（x）,求前束范式

问答题（∀x）P（x）∨¬（∃x）Q（x）,求前束范式