Logické systémy, rozdelenie, vlastnosti, charakteristika, pravdivostné tabuľky, minimalizácia, Karnaughove mapy