离散数学

公式

等值关系式

重言蕴含式

真值表