判定下面二图是否同构？
问答题将公式F∀x（A（x）→B（x，y））→（∃yC（y）→∃zD（y，z））化为前束范式。
问答题讨论公式∀x∃yF（x，y）→∃y∀xF（x，y）的类型。
问答题化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。
问答题用等值演算法判定公式P（Q ∧R）→P ∨Q ∨R 是永真式？永假式？
问答题判定公式P →Q 与¬P ∨Q 是否等值？
