IP2: The property IP2 expresses that the sequence o p ∘ o p ¯ {\displaystyle op\circ {\overline {op}}} has no effect on the transformation of other operations.
IP2: Свойство IP2 выражает то, что последовательность o p ∘ o p ¯ {\displaystyle op\circ {\overline {op}}} не оказывает никакого влияния на преобразование других операций.