Файл:Булева выполнимость.png

Материал из Викиконспекты
Версия от 18:14, 2 января 2017; Павел Хужин (обсуждение | вклад) (загружена новая версия «Файл:Булева выполнимость.png»: Формула с 2-мя дизъюнктами может быть неудовлетворена(красный),3-SAT(зелёный),XOR-3-SAT(си�)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Булева_выполнимость.png(200 × 206 пикселей, размер файла: 8 КБ, MIME-тип: image/png)

Формула с 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 страница ссылается на данный файл:

Метаданные