所有栏目

主合取范式的M是什么

已输入 0 字
优质回答
  • 如果式子是重言式,那么主析取范式是m0~m7,主合取范式是1;如果求出的式子是矛盾式,那么主析取范式为0,主合取范式为M0~M7。因为每一个公式都等值于相应的主析式和主合式,主合取范式代表的是成假赋值,而主析取范式代表的是成真赋值。

    举个例子,如果一个式子在化成一个析取范式后,可以看出是重言式,那么这个式子的主析取范式和主合取范式都必须是1,所以主析取范式要表示为m0~m7,主合取范式为表示为1(因为主合取范式和主析取范式与原式子等值)

    2023-10-24 20:30:30
最新问题 全部问题