Файл:Булева выполнимость.png — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Формула с 2-мя дизъюнктами может быть неудовлетворены(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных )
(нет различий)

Версия 17:55, 2 января 2017

Формула с 2-мя дизъюнктами может быть неудовлетворены(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных со значением TRUE в 1-м (горизонтальном) и втором (вертикальном) дизъюнкте.

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий18:14, 2 января 2017Миниатюра для версии от 18:14, 2 января 2017200 × 206 (8 КБ)Павел Хужин (обсуждение | вклад)Формула с 2-мя дизъюнктами может быть неудовлетворена(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных
17:55, 2 января 2017
Ошибка создания миниатюры: Файл не найден
454 × 469 (2 КБ)Павел Хужин (обсуждение | вклад)Формула с 2-мя дизъюнктами может быть неудовлетворены(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл:

Метаданные