Теория множеств и булевы функции