Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Файл:Булева выполнимость.png
Нет изменений в размере
,
18:14, 2 января 2017
загружена новая версия «
Файл:Булева выполнимость.png
»: Формула с 2-мя дизъюнктами может быть неудовлетворена(красный),3-SAT(зелёный),XOR-3-SAT(си�
Павел Хужин
62
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Файл
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати