Похожие работы на «Алгебра логики »

Алгебра логики
Программирование и комп-ры, Алгебра логики , Рефераты ... ИСТИНА |ЛОЖЬ |ИСТИНА | |ЛОЖЬ |ИСТИНА |ИСТИНА | |ЛОЖЬ |ЛОЖЬ |ЛОЖЬ | |A |B |A & B | |ИСТИНА |ИСТИНА |ИСТИНА | |ИСТИНА |ЛОЖЬ |ЛОЖЬ | |ЛОЖЬ |ИСТИНА |ЛОЖЬ ...
... X2 & (~X3)) v (X1 & (~X2) & X3) v (X1 & X2 & X3) = = X1 & ((X2 & (~X3)) v ((~X2) & X3) v (X2 & X3)) = = X1 & ((X2 & (~X3)) v X3 & ((~X2) v X2)) = = X1 ...


Конспект лекций по дискретной математике
Математика, Конспект лекций по дискретной математике, Лекция ... 1) Аналитическая: _ _ y=(x1 ( x2) x3 _ ... _ y=x1 x2 x3 ( x1 x2 x3 ( x1 x2 x3 2) Табличная: | ... | |x1 |x2 |x3 |x1 ( x2|y | |0 |0 |0 |1 |1 | |0 |0 ...
... 0 |1 |0 |x1(x2 |Запрет x1 по x2 |- |x1 [pic]2 | |[pic] |0 |0 |1 |1 |x1 |Повторение x1 |+ |- | |[pic] |0 |1 |0 |0 |x2(x1 |Запрет x2 по x1 |- |x2[pic]1 ...


Математические модели в программе логического проектирования [нестрогое соответствие]
Экономико-математическое моделирование, Математические модели в программе логического проектирования , Рефераты ... x1x2 СДНФ (1.3) p(x1,x2) = (x1+ x2) (x1 +x2) (x1+x2) s(x1,x2) = (x1+ x2) (x1 +x2) СКНФ (1.4) 3-й этап синтеза - анализ и оптимизация (минимизация) ...
... получается более сложным путем: fтднф = x1x2 + x2x3 = (x1 + x2)(x2 + x2)(x1 + x3)(x2 + x3) = (x1 + x2)(x1 + +x3)(x2 + x3) = fскнф Переход от сКНФ к МФ ...


Логические элементы и их электронные аналоги [нестрогое соответствие]
Цифровые устройства, Логические элементы и их электронные аналоги, Реферат ... отрицание (инверсия) Y = [pic]; - логическое сложение (дизьюнкция) Y = X1 + X2 или Y = X1 V X2 ; - логическое умножение (коньюнкция) Y = X1 ( X2 или Y ...
... неравнозначности (сложение по модулю два) Y = X1 ( [pic] + [pic]( X2 или Y = X1 [pic] X2 ; - функция Пирса (логическое сложение с отрицанием) Y = [pic ...


ПТЦА - Прикладная теория цифровых автоматов [нестрогое соответствие]
Разное, ПТЦА - Прикладная теория цифровых автоматов , Лекции ... таблица переходов автомата Мура. автомата Мура. |am(Y) |as |X | |am |as(Y) |X | |a1(--) |a2 |x1 | |a6 |a1(-) |x4 | | |a3 |x1 | |a7 | |1 | |a2(y1y2) ...
... pic] |№уровня |№элемента |уравнение | |1 |1 |e1 = X1 | | |2 |[pic]X2 | | | |e2 = [pic] | |2 |3 |e3 = [pic] | |3 |4 |Y = e4 = e3 +| | | |X5 | | |1-ый ...


Электротехника и основы электроники [нестрогое соответствие]
Разное, Электротехника и основы электроники , Пособие Методическое ... имея набор элементов И-НЕ можно построить схему ИЛИ. | Наименование | Условное графи- | Выражение | Таблицы истинности | |функции |ческое обозначение ...
... И | ИЛИ | | |НЕ | ... | |y1=x=x -x |y2=x1 -x2= x1 -x2 |y3= x1 +x2= x1 - x2 | |И-НЕ | ... | |т. к. x -x -x | | | | |-.=x | ... | |т. к. x= x ...


Логические элементы [нестрогое соответствие]
Программирование и комп-ры, Логические элементы, ... отрицание (инверсия) Y = [pic]; - логическое сложение (дизьюнкция) Y = X1 + X2 или Y = X1 V X2 ; - логическое умножение (коньюнкция) Y = X1 ( X2 или Y ...
... законы и правила: - распределительный закон X1 (X2 + X3) = X1 ( X2 + X1 ( X3 , X1 + X2 ( X3 = (X1 + X2) (X1 + X3) ; - правило повторения X ( X = X , X ...


Содержание и значение математической символики [нестрогое соответствие]
Математика, Содержание и значение математической символики , Работа Курсовая ... х - а), или y = b + kt, х = а + t. Тогда F (а + t, b + kt) = F (a, b) + tA (а, b) + ktB (а, b) + t2C (a, b, k) = 0. Но F (a, b) = 0, поэтому t = -[pic ...
Тогда А ( В = В ( А, A ( B = B ( A A ( (В ( C) = (А ( В) ( C A ( (В ( C) = (А ( В) ( C A ( A = A A ( A = A A ( 1 = A A ( 1 = A A ( 0 = 0 A ( 0 = A ((A ...


ЛИСП [нестрогое соответствие]
Программирование и комп-ры, ЛИСП , Пособие Методическое ... выражение1> [<символ2> <выражение2>]...) (while <тест-выражение> <выражение>...) (zerop <элемент>) Функции dlispа не используемые MuLispом. (cos <угол ...
... C D) QQ) (subst 'qq 'z sample) возвращает (A B (C D) B) (subst 'qq '(c d) sample) возвращает (A B QQ B) (subst '(qq 'rr) '(c d) sample) возвращает (A ...


Краткая методичка по логике [нестрогое соответствие]
Математика, Краткая методичка по логике , Пособие Методическое ... через (x1,.,xn) и определяется так: (x1) = x1 (x1, x2) = {{x1}, { x1, x2}} (x1, x2, x3) = ((x1, x2), x3) (x1, x2, x3,x4) = ((x1, x2, x3), x4) ...
... koor[pic](a, b)=(a, b), (a, b)=(b, a), (a, a)=a, (4,6(х(7,9(=(4,7), (4,9), (6,7), (6,9)(, (5( х (3,2( х (6(=((5,3,6), (5,2,6)(, (5( х (6(=(6( х (5(, A ...