聊了很多也體會到很多，原來這個目標並不如想像中的簡單，如真值表法會有2的N次方個原子命題的排列組合而成的達成目標。