О. Т. Шанаев цифрлық ҚҰрылғылар және микропроцессорлар


 Логика алгебрасының заңдары мен заңдылықтары



бет5/16
Дата06.10.2023
өлшемі1,56 Mb.
#113061
1   2   3   4   5   6   7   8   9   ...   16
Байланысты:
АУЭС

1.1.3 Логика алгебрасының заңдары мен заңдылықтары
Цифрлық құрылғылардың схемаларын құру барысында оларды суреттеуші логикалық фунцияларды әртүрлі мақсатқа сай (мысалы, оларды қарапайым түрге келтіру үшін) түрлендіру қажет болады. Бұндай түрлендірімдер логика алгебрасының заңдары мен осы заңдардың жеке жағдайларға тікелей пайдалануға ыңғайландырып шығарылған заңдылықтарының негізінде жүргізіледі (1.6-кесте).
1.6 К е с т е

Заңдар

Коммутативтік (commutativity) немесе алмастырылым заңы

Х1 Х0 = Х0 Х1

Х1Х0 = Х0Х1

Ассоциативтік (associativity) немесе біріктірілім заңы

Х2 (Х1 Х0) = (Х2 Х1) Х0

Х2 (Х1Х0) = (Х2Х1)Х0

Дистрибутивтік (distributivity) немесе таратылым заңы

Х2Х1 Х1Х0 = Х1(Х2 Х0)

(Х2 Х1)(Х1 Х0) = Х1 (Х2Х0)

де Морган заңы





Заңдылықтар

X 0 = X

X 0 = 0

X 1 = 1

X 1 = X

X X = X

X X = X

X  = 1

X  = 0

X1 X1X0 = X1

X1(X1 X0) = X1

X1 X0 = X1 X0

X1( X0) = X1X0



Бұл заңдар мен заңдылықтар – симметриялы, яғни олардың дизъюнкциялық және конъюнкциялық түрлері болады. Бұл заңдардың кейбірі дәстүрлі алгебрада қалыптасқан заңдар, сондықтан олардың дұрыстығы күмән тудырмайды, ал дәстүрлі алгебраға тән емес, жаңа заңдар мен заңдылықтардың дұрыстығына көз жеткізу (яғни, оларды дәлелдеу) аргументтерінің орындарына олардың сәйкесті мәндерін (0 мен 1) қойып тексеру арқылы жүзеге асырылады.


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   16




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет