Deutsch | Englisch | Russisch | Tschechisch

canonical conjunctive normal form