Тренажёр по булевым функциям на гиперкубе

Цель

Основной задачей проекта является разработка программного обеспечения (сайта) на решение логических

Задачи, возникшие при разработке

Написать генераторы для каждой задачи
Спроектировать интерактивный гиперкуб

Грубый перебор не подходит для генерации

Генерация монотонной функции

Для каждой вершины задана вероятность появления единицы. В случае

Генерация самодвойственной функции

Производится обход до середины. В симметрично расположенных значениях устанавливается

Генерация функций с фиктивными переменными

Генерировать функцию из трёх переменных без фиктивных

Генерация выражения

( [t-z]
(or, and, =>, +)
[t-z]
(or, and, =>, +)
[t-z] )
(or, and,

Генерация задач на минимальное ДНФ

По гиперкубу можно минимизировать ДНФ. Для этого