以下命题公式中，可满足式有（ ）
未知类型：{'options': ['', '', '', '', '', ''], 'type': 102}
未知类型：{'options': ['', '', '', '', '', ''], 'type': 102}
举一反三
- 命题公式[tex=7.571x1.357]Cp6k0MCxWX6Js//RLUdZX5S20ytXpGY2I9o9P54eh24uBCHGrDlBQv44FXin3v0J[/tex]是 未知类型：{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
- 以下哪些公式是可满足的? 未知类型：{'options': ['', '', '', '', ''], 'type': 102}
- 命题公式[tex=4.714x1.357]DnkRtQpckP0rbRwZSQsvMje+7QZcXTaFyhuFK/eFlzE=[/tex]是下列4个中的哪一个？ 未知类型：{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}
- 命题公式[img=104x29]18034c7bba61820.png[/img]的对偶式为 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 以下谓词公式中，( )是逻辑有效式。 未知类型：{'options': ['', '', '', ''], 'type': 102}