离散实验——真值表法求主合取(析取范式)范式ppt 最终版