一種真值表題目的構造方法
- 畫空白表,寫出pqr三列
- 寫整個公式\(F\)的表列,現在不知道\(F\)是什麼,所以隨便寫
- 選最後一步運算是什麼,隨便選,假設是\(F=L\Delta R\)
- 根據\(F\)的表列和\(\Delta\),寫\(L,R\)的表列,當然,這時仍有一些地方可以隨便搞
- 對\(L,R\)重複上述3,4步,直到你認為此時新寫的公式已經足夠簡單,假設它們是\(P_1,P_2,P_3\cdots\)
- 現在根據真值表寫出\(P_1,P_2,P_3\cdots\)的析取/合取正規化,然後逐一化為你想要的形式
- 逆推5,4,3步,寫出\(F,L,R\)的表示式,大功告成