求翻译英文版离散数学的作业题目Suppose that the domain of the propositional