问答题
将公式F∀x（A（x）→B（x，y））→（∃yC（y）→∃zD（y，z））化为前束范式。
F
问答题 讨论公式∀x∃yF（x，y）→∃y∀xF（x，y）的类型。
问答题 化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。
问答题 判定公式P →Q 与¬P ∨Q 是否等值？
