added karnough maps