Де Моргана закони

логічні правила, що зв'язують пари логічних операцій за допомогою логічного заперечення