Disjunctive normal form

join shbcf.ru