Как определить является ли множество гранью?

[APECTAPX]

Является ли множество гранью?
Не знаю как правильно записать поэтому так:
A={5,7,13,15,21,23,29,31}_[5]
булевы вектора длины 5

для длины <=4 все ясно, либо по кубу, либо через Карно. А как поступить в этом случае?
Спасибо.

[Nimza]

У Вас не так уж и много наборов. Можно честно выписать их в двоичной системе, а там уже сразу будет видно.