Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата | Имя файла | Миниатюра | Размер | Описание | Версий |
|---|---|---|---|---|---|
| 18:14, 2 января 2017 | Булева выполнимость.png (файл) |  |
8 КБ | Формула с 2-мя дизъюнктами может быть неудовлетворена(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных | 2 |
