5-variable Karnaugh map