У функціональному відношенні перша

координата a

впорядкованої пари (a, b)

Вершина двійкового дерева може мати одного сина.

Зобразити на діаграмі Ейлера-Вена множину, яку задано за допомогою операцій:

Звести до кон’юнктивної нормальної форми формулу 

Побудувати мінімальну ДНФ для формули 

Після вилучення в дереві

будь-якої кінцевої вершини

Антирефлексивність – це

обов’язкова умова асиметричності.

Спростити вираз: