离散数学11.公式类型可用真值表判断1）重言式也是永真式，公式真值恒为1。2）矛盾式永假式，真值恒为0。3）可满足式不是矛盾式的就都是可满足式。重言式一定是可满足式。成真赋值与成假赋值也叫成真指派与成假指派。一组原子的取值（真值指派）使得公式为真：成真指派（赋值）一组原子的取值（真值指派）使得公式为假：成假指派（赋值）等值式...