Цифрлық құрылғыларды логикалық жобалау. Цифрлық құрылғыларды логикалық жобалау негіздері. Цифрлы рылыларды логикалы жобалау негіздері. Буль алгебрасыны негізгі тсініктері
 Скачать 146.54 Kb.
|
|
Де Морган заңдары және оның салдары кез келген айнымалылар санына тура келеді:  Екі модулімен қосу функциясын былай көрсетуге болады:  Бұл функция үшін мына заңдар орындалады: 1) ауыстырымдылық заңы:  ;2) терімділік заңы:  ;3) үлестіру заңы:  .Қаралып отырған функция үшін және мынадай арақатынастар орын-алады:  Импликация функциясын төмендегідей көрсетуге болады:  Бұл функция үшін мынадай арақатынастар тура болады:  Шеффер функциясы коньюнкция функциясының терістеуі болып табылады:  .Импликация функциясын төмендегідей көрсетуге болады: Бұл функция үшін мынадай арақатынастар тура болады: Шеффер функциясы коньюнкция функциясының терістеуі болып табылады: . Бұл функция мына арақатынастарға ие болады:  . Ауыстырымдылық заңы Шеффер функциясында тек екі айнымалылар үшін орындалады:  Шеффер функциясын пайдалана отырып логикалық өрнектерді түрлендіруге мүмкіндік беретін кейбір формулалар алуға болады: Пирс (Вебба) функциясы дизьюнкция функциясының терістелуі болып табылады:  . Бұл қарапайым функцияға төмендегі арақатынастар тура келеді:  . Пирс (Вебба) функциясы тек ауыстырымдылық заңына бағынады:  Дизьюнкция, коньюнкция, логикалық терістеу, Пирс (Вебба) функцияларының арасында өзара мынадай байланыстарды байқауға болады:  .Қаралған қарапайым функциялар жаңа ЛАФ алуға мүмкіндік береді. Ол екі жолмен: аргументтерді қайта номерлеу және функциялардағы аргументтер орнына жаңа функциялар қою арқылы алынады. Осы екі операцияны бастапқы функцияларға (f1,f2,…,fk) қайта қайта қолдану жолымен алынған функция f1,f2,…,fk функцияларының суперпозициясы деп атайды. |