เมื่อ Minterm Encoding, Don't-care Handling, Deduplication, Prime Chart, Cost Function, Petrick/Reduction และ Truth-table Validation ถูกอ..