命题公式[tex=4.714x1.357]DnkRtQpckP0rbRwZSQsvMje+7QZcXTaFyhuFK/eFlzE=[/tex]是下列4个中的哪一个?
未知类型:{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}
未知类型:{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}
举一反三
- 谓词公式[tex=7.786x1.357]1fcNrfyWrk/oKScBr5dBTQSVWqmUeiRvDpJ8SrXKQ4JHIpoOr61bgioQW1NmX+Kt[/tex]的类型是下列4个中的哪一个? 未知类型:{'options': ['永真式', '矛盾式', '非永真式的可满足式', '不属于A,B,C中的任何类型'], 'type': 102}
- 如果当[tex=2.5x1.214]Q29ySw8EG/r0vHipu0vHXCCqMkBLIZsw8zGTmfrLXVk=[/tex]为真时称命题P强于Q,那么最强的命题是( ),最弱的命题是( ) 未知类型:{'options': ['永假式', '可满足式', '永真式', '不能确定'], 'type': 102}
- 命题公式(PÙQ)®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式
- 假设A公式有n个命题变项,则[img=18x19]17de61bcba87c4d.png[/img]个全体极大项的合取、[img=18x19]17de61bcba87c4d.png[/img]个全体极小项的析取式必为( ) A: 永真式、永真式 B: 永假式、永假式 C: 永真式、永假式 D: 永假式、永真式
- 用真值表法判定公式[tex=8.857x1.357]1ulLXpireokSAqu9p+jSEHc0VtWNHb/8C/XDeenIAoNURYkzL9jXJKYTU70OKsGJ+jfn7iSD5UOUBvc4LZEOwg==[/tex]是永真式、永假式还是可满足式.