Помогите написать задачку, цена договорная, если что стучите в аську 394-357-534.
Привести заданную бесквантовую форму логики предикатов к конъюнктивной нормальной форме (конъюнкции конечного числа дизенъюнктов). Логические связки обозначить как ~ (отрицание), | (конъюнкция), & (дизинъюнкция), => (импликация).
Последние комментарии
-
unxed, 8 августа в 10:15 →
Нужен ли Far в Линуксе?
69
-
igor_ubuntu, 6 июля в 6:40 →
Cinelerra
2
-
fhunter, 27 июня в 2:07 →
Может кто скомпилировать из Linux исполняемые GUI ELFs — Linux
3
-
Timur Tukaev, 16 июня в 22:54 →
Вышел CentOS Linux 8.2 — он основан на RHEL 8.2
2
-
Timur Tukaev, 16 июня в 11:16 →
Бен Коттон из Red Hat предложил маркировать и удалять пакеты-пенсионеры при обновлении Fedora
3
ecobeing.ru
Экология и вегетарианство на благо всем живым существам Планеты.
