如果式子是重言式,那么主析取范式是m0~m7,主合取范式是1;如果求出的式子是矛盾式,那么主析取范式为0,主合取范式为M0~M7。因为每一个公式都等值于相应的主析式和主合式,主合取范式代表的是成假赋值,而主析取范式代表的是成真赋值。
举个例子,如果一个式子在化成一个析取范式后,可以看出是重言式,那么这个式子的主析取范式和主合取范式都必须是1,所以主析取范式要表示为m0~m7,主合取范式为表示为1(因为主合取范式和主析取范式与原式子等值)
主合取范式是什么意思
如果式子是重言式,那么主析取范式是m0~m7,主合取范式是1;如果求出的式子是矛盾式,那么主析取范式为0,主合取范式为M0~M7。因为每一个公式都等值于相应的主析式和主合式,主合取范式代表的是成假赋值,而主析取范式代表的是成真赋值。
举个例子,如果一个式子在化成一个析取范式后,可以看出是重言式,那么这个式子的主析取范式和主合取范式都必须是1,所以主析取范式要表示为m0~m7,主合取范式为表示为1(因为主合取范式和主析取范式与原式子等值)