计算题 将公式F∀x（A（x）→B（x，y））→（∃yC（y）→∃zD（y，z））化为前束范式。

讨论公式∀x∃yF（x，y）→∃y∀xF（x，y）的类型。

问答题讨论公式∀x∃yF（x，y）→∃y∀xF（x，y）的类型。

化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。

问答题化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。

判定公式P →Q 与¬P ∨Q 是否等值？

问答题判定公式P →Q 与¬P ∨Q 是否等值？