結果 : 3 variable karnaugh map solver