數位邏輯問題

[z83ul6 (路人)]

(A+B'+D)(E+F')(A'+B+C)(A+B+C'+E'+F)(D+E'+F')(B+C'+D'+F)=1
請問要驗證這種六變數以上的POS式有沒有可能成立，除了卡諾圖以外還有更好一些的方
法嗎?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.125.225.70
※ 文章網址: https://www.ptt.cc/bbs/Electronics/M.1484018534.A.C0F.html
推 a12349221: Quine-Mccluskey呢？
→ z83ul6: 我有試過轉換成SOP並用Quine-McCluskey法化簡過( http://i
→ z83ul6: .imgur.com/nAOLe30.jpg ,不知道有沒有做錯寫到一半沒地
→ z83ul6: 方寫了)可是花很長時間及很大篇幅所以我想問看看還有沒有
→ z83ul6: 其他作法
推 a12349221: 變數超過五個我都用QM算，其他方法我就不曉得了，有請
→ a12349221: 其他大大分享