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

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

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

当n，m 满足什么条件时，存在单射，且有多少个不同的单射？

问答题当n，m 满足什么条件时，存在单射，且有多少个不同的单射？

有多少个不同的由X 到Y 的函数？

问答题有多少个不同的由X 到Y 的函数？