问答题化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。
问答题用等值演算法判定公式P（Q ∧R）→P ∨Q ∨R 是永真式？永假式？
问答题判定公式P →Q 与¬P ∨Q 是否等值？
问答题当n，m 满足什么条件时，存在单射，且有多少个不同的单射？
问答题有多少个不同的由X 到Y 的函数？
