利用真值表法求主析取范式及主合取范式的实现