Любой логической функции можно найти соответствие в теории множеств и отобразить её в виде множества точек.