n阶k-正则图G的边数m=（）。

设e=（u，v）为无向图G中的一条边，证明：e为桥当且仅当e不在任何圈中。

问答题设e=（u，v）为无向图G中的一条边，证明：e为桥当且仅当e不在任何圈中。

（（y）Q（z，y）∧（x）R（x，y））∨（x）S（x，y，z），求前束析取范式

问答题（（∃y）Q（z，y）∧（∀x）R（x，y））∨（∃x）S（x，y，z），求前束析取范式

设A（x）为下列各公式： ①（∀y）P（y，f（x，y））→Q（x） ②（∀z）（P（z）→Q（x）） ③（∀...

问答题

设A（x）为下列各公式：
①（∀y）P（y，f（x，y））→Q（x）
②（∀z）（P（z）→Q（x））
③（∀y）P（f（y））∧Q（x，y，z）

④（∀y）P（x，f（x），y）→（∀z）Q（g（x），z）
设t是h（x，z），指出t对于各公式中的x是否自由？