离散数学高手过来帮帮忙～ 搜狗旗下的互动问答社区，用户可以提出问题、解决问题、或者搜索其他用户沉淀的精彩内容；在这里可以感受到最热烈的互助气氛，浏览到最精彩的问答内容。
离散数学数理逻辑题 由于公式含3个命题变项，并且已知有3个成真赋值001，010，111，因而有5个成假赋值000，011，100，101，110.成真赋值对应的极小项分别为m1，m2，m7，故主析取范式为Am1∨m2∨m7成假赋值对应的极大项分别为M0，M3，M4，M5，M6，故主合取范式为AM0∧M3∧M4∧M5∧M6注意：公式的真值表与主析取范式(主合取范式)可以相互唯一确定.
离散数学数理逻辑部分 一、单项选择题1．设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为()．A．B．C．D．2．设命题公式G：，则使公式G取真值。
