离散数学
公式类型
公式分为
重言式: 恒为真
矛盾式: 恒为假
可满足式: 可真可假