热门标签
更多>
搜索结果
查询Tags标签: 析取范式,共有 2条记录-
离散
1. "x+5>0",这是一个命题。F2.设A,B,C,D为任意集合,则命题“若A⊆C且B⊆D,则有AB⊆CD”是真命题T3.命题公式 (┐p→q)→(q→┐p)的类型是( ) 非重言式的可满足式4.命题公式 ((p∨q)→r)↔s的类型是( ) 非重言式的可满足式 ((p∨q)→r)←→s<=&g…
2022/6/27 23:29:39 人评论 次浏览 -
离散数学中用真值表判断主析取范式
将要求的式子真值表写出来,取出真值表为T的,把组成它的原子式都写出来,这就是主析取范式。 举例说明:它的主析取范式就是
2022/4/4 23:19:34 人评论 次浏览