conjunctive normal form

visit shbcf.ru