Проверить для произвольных множеств, что ¬(A∩B∩C) = (A∪B∪C)\(A∩B∩C).

Пусть это означает, что т.е. х не принадлежит одновременно всем трём множествам, но может принадлежать каждому из них по отдельности т.е. , следовательно