用真值表法判定公式[tex=8.857x1.357]1ulLXpireokSAqu9p+jSEHc0VtWNHb/8C/XDeenIAoNURYkzL9jXJKYTU70OKsGJ+jfn7iSD5UOUBvc4LZEOwg==[/tex]是永真式、永假式还是可满足式.
举一反三
- 用真值表判断公式的类型。即它们是不是永真式，永假式或可满足式[tex=3.571x1.071]btAbRGXFaiB2fC0wJWXqHS3dyvH2LUUh7SDC1G1qZjw=[/tex]
- 用真值表判断公式的类型。即它们是不是永真式，永假式或可满足式[tex=7.643x1.357]lLdqtWZbDKBB00+/Mljt2N/4d67cqyMoqRByymdPjoAo1u3hw5yhws4FG9XSkNIuRsUd88BSIYGNU+gSroeP7r5usCAFaRfWlV44poq5N6Y=[/tex]
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定
- 判断公式 判别下列公式的类型。(1) Q∧¬ (¬P→(¬P∧Q))(2)(P→Q)∧¬P A: (1)(2)均为永真式 B: (1)为永假式,(2)均为永真式 C: (1)为永假式,(2)均为可满足式 D: (1)(2)均为永假式
- 命题公式[tex=4.714x1.357]DnkRtQpckP0rbRwZSQsvMje+7QZcXTaFyhuFK/eFlzE=[/tex]是下列4个中的哪一个？ 未知类型：{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}