Помогите написать задачку, цена договорная, если что стучите в аську 394-357-534.
Привести заданную бесквантовую форму логики предикатов к конъюнктивной нормальной форме (конъюнкции конечного числа дизенъюнктов). Логические связки обозначить как ~ (отрицание), | (конъюнкция), & (дизинъюнкция), => (импликация).
Последние комментарии
-
Kiri11.ADV1, 7 марта в 12:01 →
Логи catalina.out в TomCat 9 в формате JSON
1
-
fhunter, 26 февраля в 20:45 →
A, MX, PTR — Настройка и проверка извне. Как ?
2
-
rgo, 11 января в 10:28 →
Как «замокать» файл для юниттеста в Python?
1
-
ilyas490, 8 декабря в 13:27 →
Книги по Bash?
13
-
fhunter, 30 ноября в 12:32 →
Фря или Лин?
18
ecobeing.ru
Экология и вегетарианство на благо всем живым существам Планеты.
