Суперпозициялар
Анықтама. Функция аргументтерінің орнына элементар немесе басқа да функцияларды (f1,f2,…,fk) қою арқылы алынған жаңа функция (F) функциясы f1,f2,…fk функцияларының суперпозициясы деп аталады.Мысалы, терістеу, коньюнкция, дизьюнкция, импликация, эквиваленция функциялары арқылы олардың суперпозициясы болып табылатын логикалық алгебраның жаңа функцияларын жазуға болады:
х2 x1 ; x1 ; (x1 x2) (); ((x ~x3)х1)(x2) т.б
Егер формулада операция таңбасы аргументтердің арасында тұрса,ондай жазуды инфиксті жазу деп атайды. f1=x3x1; f2=x1x2;f3=x1(f2); f4=(x3x1)(x1(x1x2));
Элементар функциялардың ақиқаттық кестесі арқылы олардың суперпозициясы болып табылатын кез келген функцияның ақиқат кестесін анықтауға болады.
f(x1,x2,x3) = {[( ~ x3) ( x1 x2)] ( x1 x2)} x3 функциясын ақиқаттық кесте арқылы өрнектеу керек болсын;
Жақшаларды қою ретіне логика алгебрасында арнаулы келісімдер қабыл данған: Сыртқы жақшалар жазылмайды. Мысалы, ( (xуz)) өрнегінің орнына xуz жазуға болады. Операциялардың орындалу приоритеттері:
( , , , ,, , , , );
Мысалдар:
1. xyz өрнегі ((xy)z ) болып жазылады.
2. xyzu өрнегі ( (x y ) ( zu ) болып жазылады.
3. xyuvwxy өрнегі ((xy)((u(((vw)x)y) болып жазылады
4. x(z) өрнегінде жақшаны қалдыруға болмайды. Жақшасыз жазылса (x)z болып кетеді.
Логикалық алгебра функциясын бульдік функция, екілік функция (двоичная) немесе ауыстырып қосқыш (переключательная) функция деп атайды.Буль функциялары арқылы қандай да бір құрылғыға берілген сигналдардың қортынды сигналға түрленуін белгілеуге болады. Мысалы, суретте көрсетілгендей қүрылғының n нүктеден тоқ қабылдау мүмкіндігі бар. Құрылғыларға берілген токқа байланысты xi=1 айнымалының мәні тоқтың i- ші нүктеге берілуін көрсетеді, xi=0 тоқ жоқты көрсетеді. f(б1б2,...,бт) = 1 тоқтың шығу нүктесін берілуін, f = 0 болуы тоқтың берілмеуін көрсетеді.
1-мысал. коньюнкция X Y – екі тоқ беру нүктесі, бір шығу нүктесі бар құрылғыны көрсетеді. Шығу нүктесіне тоқ беріледі, егер x,y- ке тоқ берілсе.
2-мысал. Үш адамнан тұратын комиссяның дауыс беруін белгілеп отыратын құрылғыны қарастырайық. Комиссия мүшелері резолюцияға (ұсынылған шешім) өз кнопкасын батырады.Егер комиссия мүшелерінің көпшілігі резолюцияны мақұлдаса, онда резолюция (шешім) қабылданады Бұл регистрация жасайтын құрылғымен белгіленіп отырылады
Құрылғының жұмысының ақиқаттық кестесі суретте көрсетілгендей функциямен сипатталады; алынған функцияны f(0,0,0) = f(001) = f(010) = f(100) = 0 теңдіктер жүйесімен де беруге болады.
( 0 0 0 1 0 1 1 1 )–жиынтығы f функциясының мәндер векторы деп аталады.
Қосымша әдебиет: 7[50-80] .
Негізгі әдебиет
Достарыңызбен бөлісу: |