English conjunctive normal form: tłumaczenie na inne języki