Dokumen ini menjelaskan proses penyederhanaan bentuk SOP (mintrem) menggunakan peta Karnaugh dengan fungsi Boolean untuk mendapatkan output bernilai 1. Prosesnya meliputi pengisian table kebenaran ke peta Karnaugh, menandai kotak bernilai 1, dan menghasilkan rumus akhir F(w,x,y,z)=x,y + w',y + x',y',z yang direpresentasikan dalam bentuk gerbang logika.