Karnaugh Map Requirment Writing