:) dobi si knjižico od batagela: diskretne strukture, zapiski s predavanj I. logika in množice. v poglavju logika in množice je na dolgo in široko opisano vse o in, ne, ali, ex ali in vsem, kar pase zraven :) tud o tem, kako nek svinsko dolg logicen izraz zminimiziras na par zelo enostavnih in elementarnih. brane