В общем Булева алгебра, а конкретно эти де Моргана
!(A | B) = !A & !B
!(A & B) = !A | !B