Участник:Павел Дидин/задача о модификации 3-КНФ/решение

Материал из DISCOPAL
< Участник:Павел Дидин‎ | задача о модификации 3-КНФ
Версия от 02:18, 6 марта 2021; Павел Дидин (обсуждение | вклад) (Новая страница: «<latex> \textbf{Решение пункта а)} Обозначим описанный выше язык выполнимых формул $3-VAR-3-SAT$. Для…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск