Логика алгебрасында негізгі орынды Шеннон құрған екіліктің заңы алады. Бұл заң әрбір функцияның инверсиясын анықтайды және мұндай түрде беріледі:
,
мұнда , . Сонымен, егер функциядағы өрнекте айнымалысын оның инверсиясымен ауыстырса және керісіншеде, дизъюнкциямен конъюнкция операцияларын қарым-қатынаста ауыстырса әрбір функцияның инверсиясын алуға болады. Мысалға, егер
онда
Тәжірибеде қолданғанда екілік заңының жеке жағдайы болады – де Морган теоремасы:
Немесе тәжірибеде қолдануға ыңғайлырақ түрде
де Морган теоремасы тәжірибеде берілген базиске функцияны аудару үшін, сондай-ақ керек жағдайда дизъюнкция операциясын конъюнкцияға немесе керісінше ауыстыруға қолданылады. Мысалы өрнегінің құрамында тек дизъюнкция операциялары болуы керек. де Морган ережесін қолданған соң шығады. де Морган теоремасын айнымалылардың үлкен санына да таратуға болады.
Достарыңызбен бөлісу: |