Файл:Булева выполнимость.png
Нет версии с бо́льшим разрешением.
Булева_выполнимость.png (200 × 206 пикселей, размер файла: 8 КБ, MIME-тип: image/png)
Формула с 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 страница ссылается на данный файл:
