Пропозициональная логика, конъюнктивные и дизъюнктивные нормальные формы, базисы булевских функций, бинарные отношения, частичные порядки… В общем, ничего концептуально сложного, но это всё вещи, которыми надо овладеть очень прочно, на них держится любое математическое образование. Как минимум нужен базис 10-11 классов СОШ. Обычно на 1-2 курсе универа с такими вещами знакомятся ))))