Observations

А что, внутренность объединения равна объединению внутренностей? Как-то у меня фигня получается (с интуиционизмом), если равна. 

Похоже, что не равна, слава те господи - берем два смежных квадрата 1х1; объединение внутренностей - это два открытых квадрата 1х1, а внутренность объединения - это открытый прямоугольник 1х2.

Это я пытаюсь нарисовать убедительную картинку, что ¬(a∧b) не равно ¬a∨¬b - в смысле, алгебру Гейтинга попроще, где б оно не выполнялось. Конечную хочу.

Ну и еще из хорошего:

Обнаружен мальчик, воспитанный каментами. Он все время срет.