共用题干题

有向图D如图所示，求：

D中长度为4的通路数（含回路）。

v5到v5长度为1，2，3，4的回路数。

问答题v₅到v₅长度为1，2，3，4的回路数。

v2到v5长度为1，2，3，4的通路数。

问答题v₂到v₅长度为1，2，3，4的通路数。

（x）（P（x）∨（z）Q（z，y）→（y）R（x，y）），求前束合取范式

问答题（∀x）（P（x）∨（∀z）Q（z，y）→¬（∀y）R（x，y）），求前束合取范式