登录社区云,与社区用户共同成长
邀请您加入社区
该用户还未填写简介
暂无可提供的服务
离散数学11.公式类型可用真值表判断1)重言式也是永真式,公式真值恒为1。2)矛盾式永假式,真值恒为0。3)可满足式不是矛盾式的就都是可满足式。重言式一定是可满足式。成真赋值与成假赋值也叫成真指派与成假指派。一组原子的取值(真值指派)使得公式为真:成真指派(赋值)一组原子的取值(真值指派)使得公式为假:成假指派(赋值)等值式...