Эти тождества являются законами справедливыми для операций над множествами, напр., и используют только конъюнкцию, дизъюнкцию и инверсию. Для пояснения - коммутативность, ассоциативность, дистрибутивность, свойства границ, склеивание и т.д. Вот, что я подразумевала.
А в остальном я уже писала, ну, не совсем это по теме, по-моему.