實 驗 一利用真值表法求取主析取范式以及主合取范式的實現 實驗名稱：利用真值表法求取主析取范式以及主合取范式的實現 實驗目的：通過編程實現主析取范式以及主合取范式的真值表求法以鞏固相關理論的掌握 實驗類型：驗證 實驗學時：4 實驗環境：Windows+VC 從屏幕輸入含三個以內變量的合式公式（其中聯結詞按照從高到底的順序出現） 可用字符數組a記錄輸入的合式公式 如：輸入?P?Q?P?Q ！表示?；&表示?；|表示?；>表示?；-表示 規范列出所輸合式公式的真值表 多重循環顯示真值表（1表示T，0表示F，先1后0） P Q A 1 1 ？ 將賦值代入公式（可用數組b記錄與a中變量對應的賦值） b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值 從左往右計算（用switch a[i] case對運算符進行處理） ?：b[i+1]=! b[i+1] ?：b[i+1]=b[i-1] && b[i+1] …