text: Другие (3) (Дополнение законов де Мо́ргана): x ∣ y = x ∧ y ¯ = x ¯ ∨ y ¯ {\displaystyle x\mid y={\overline {x\land y}}={\bar {x}}\lor {\bar {y}}} . x ↓ y = x ∨ y ¯ = x ¯ ∧ y ¯ {\displaystyle x\downarrow y={\overline {x\lor y}}={\bar {x}}\land {\bar {y}}} .