Алгоритм построения таблиц истинности для логических выражений
Библиотека пользователя Shafa
SCORM
Shafa