Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

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