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