Если посмотреть, например,
здесь, то конституантой будет конъюнкция всех трех множеств A,B,C каждое из которых входит ровно один раз со знаком отрицания или без него. В данном случае, это будет, очевидно, одна конституанта A & B & C.
Вот только непонятно, каким образом привязать сюда константу... Может условие неполностью дано?
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен