Файл:Булева выполнимость.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 |  | 200 × 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 страница ссылается на данный файл:
