nixp.ru v3.0

23 октября 2017,
понедельник,
14:28:42 MSK

DevOps с компанией «Флант»
lana написала 22 февраля 2008 года в 14:49 (349 просмотров) Ведет себя как женщина; открыла 3 темы в форуме, оставила 2 комментария на сайте.

Помогите написать задачку, цена договорная, если что стучите в аську 394-357-534.

Привести заданную бесквантовую форму логики предикатов к конъюнктивной нормальной форме (конъюнкции конечного числа дизенъюнктов). Логические связки обозначить как ~ (отрицание), | (конъюнкция), & (дизинъюнкция), => (импликация).