Цифрлық құрылғыларды логикалық жобалау. Цифрлық құрылғыларды логикалық жобалау негіздері. Цифрлы рылыларды логикалы жобалау негіздері. Буль алгебрасыны негізгі тсініктері
 Скачать 146.54 Kb.
|
|
Цифрлық құрылғыларды логикалық жобалау негіздері. 1.Буль алгебрасының негізгі түсініктері Екілік сандармен әр түрлі адамдар орындай алатын құрылғыларды екілік сандардың функционалдық түрлендіргіші ретінде қарауға болады. Мұндай түрлендіргіштерде бастапқы санның жеке разрядтары аргумент, ал алынған нәтижелердің разряды функция болып табылады. Арифметикалық амал орындалатын құрылғының әр кірісіне бастапқы санның бір разряды беріледі (0 немесе 1), ал оның әр шығысынан нәтиженің екілік разряды (0 немесе 1) алынады. Осындай құрылғыларды талдау және синтездеу үшін екілік айнымалыларымен әр түрлі операция жасауға мүмкіндік беретін математикалық аппарат қажет. Мұндай аппараттың негізін өткен ғасырдың ортасында ағылшын математигі Д.Буль тұжырымдаған болатын. айнымалы шамалар мен олардың функциялары тек екі мән (0 немесе 1) қабылдайтын болса, онда бульдік немесе логикалық айнымалылар мен функция деп аталады. Логикалық функицялардың қасиеттері математикалық логикада зерттеледі. Екілік айнымалылар жиынтығымен  анықталатын және өздері не ноль, не бір деген мәндер қабылдайтын функцияларды логика алгебрасының функциялары (ЛАФ) деп атайды, ЛАФ берілуі деп оның 0 немесе 1 деген мәні әрбір мүмкін болған аргументтер жиынтығының мөлшері n разряд арқылы кескінделетін әр түрлі сандарға тең, яғни 2n. Барлық мүмкін болатын аргументтер жиынтығы мен оларға сәйкес функциялар мәндерін бір кестеге жинақтасақ ЛАФ кестелік берілуін немесе оның шындық кестесін аламыз:  . Егер екі ЛАФ  және  әр түрлі аргументтер жиынтығында бірдей мәнге ие болса, онда  және  функцияларын өзара тең деп атаймыз:  .Функция аргументтерінің ішінде оның мәндеріне әсерін тигізбейтін жалған аргументтер болуы мүмкін. Егер функиялар арасында мынадай арақатынас болса:  , онда  функциясы xi аргументінен айтарлықтай тәуелді болады. Өйткені әрбір аргументтер жиынтығында ЛАФ екі мәннің бірін қабылдай алады десек, онда n аргументпен анықталатын ЛАФ мөлшері шекті, ол  -не тең. Бұл тұжырымның дәлелі әрбір ЛАФ екілік жиынтық түрінде  қарауға болатынынан шығады, бұл жерде  аргументтерінің j жиынтығында алатын ЛАФ мәні. Ал мұндай жинақтар саны формуласымен анықталады. Әр түрлі ЛАФ саны өскен сайын өте тез еселенеді. Мысалы: n=4 болғанда ЛАФ саны 5536. Бірақ осы функциялардың ішінде n аргументіне айтарлықтай тәуелді функциялармен қатар кейбір аргументтер бөлігінен тәуелсіз функциялар да кездеседі. n аргументтерден айтарлықтай тәуелді ЛАФ санын мынадай рекуренттік қатынаспен анықтауға болады:  , бұл жерде  - n аргументпен анықталатын ЛАФ саны,  - элементтен i-ден алынған терулер саны.Мысалы үшін аргумент үшін А3-ті анықтуа керек. алдын ала А0, А1 және А2 мәндерін анықтаймыз. А0 мен А1-ді бір аргументтің (х-тің) кестелік берілу мәнінен анықтауға болады. Графиктік тәсілде бульдік функция n-өлшемді куб көмегімен беріледі. Геометриялық мағынада әрбір екілік жиын n-өлшемді вектор, n-өлшемді нүктені анықтайды. Төмендегі суретте 3-өлшемді кубтың геометриялық көрсетілуі берілген  2.2 – сурет. Кестеде берілген бульдік функцияның геометриялық көрсетілімі |