Karnaugh táblával való egyszerűsítésnél, milyen szabályokat kell betartani?

A leglényegesebb, hogy szimmetrikusnak kell lennie a blokkoknak, szóval egy blokkban mindenképp csak páros számú cellát vonhatsz össze négyszög alakban (nem jó pl az 5-7-6, az 5-7-15-11, vagy az 1-3-2-5-7-6-13-15-14, de jó a 0-1, a 3-7-15-11, 12-13-15-8-9-11, ilyesmik). Az éleket simán kezelheted úgy, hogy a túloldali cella a szomszédjuk - így pl a 4-6 alkothat egy blokkot, vagy az 1-3-9-11 is. A sarkokra is igaz ez, ott is szomszédoknak számítanak az átelleneseikkel - pl 2-10, de akár a 4 sarok, a 0-2-8-10 is egy blokk lehet. Kb ennyi a kikötés, ha jól tudom.