Karnaugh map with variables