Canonical form and Karnaugh map