Теорема Шеннона
Инверсия
Свойства элементарных функций алгебры логики
Системы функций алгебры логики
Принцип двойственности
Исследуем заданную функцию на самодвойственность
Принадлежность функции классу самодвойственных функций
Способы представления функций алгебры логики
Минимизация булевых функций
Этап. Определение сокращенной ДНФ
Навигация
Исследуем заданную функцию на самодвойственность
Математическая логика
29947
знаков
14
таблиц
9
изображений
4. Исследуем заданную функцию на самодвойственность.
Функция самодвойственная, если на любой паре противоположных наборов (наборов, сумма десятичных эквивалентов которых равна 
, где п – количество переменных функции) функция принимает противоположные значения.
Построим таблицу: 
; вычислим значения функции на оставшихся наборах:
:
| (000) 0 | (001) 1 | (010) 2 | (011) 3 | (100) 4 | (101) 5 | (110) 6 | (111) 7 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 |
На наборах 0 и 7, 1 и 6 функция принимает одинаковые значения. Следовательно 
.
5. Проверим принадлежность заданной функции f1 классу монотонных функций. Из таблицы видно: 001< 010, но 
. Следовательно, функция 
.
Рассмотрим функцию 
.
1. Принадлежность функции классу К0:
.
Следовательно, 
.
2. Принадлежность функции классу К1:
.
Следовательно, 
.
3. Принадлежность функции классу К л.
Предполагаем, что
.
Фиксируем набор 0000:
,
, 
.
Фиксируем набор 1000:
,
.
Фиксируем набор 0100:
,
.
Фиксируем набор 0010:
,
.
Фиксируем набор 0001:
.
.
Окончательно получаем
.
Это равенство на других 11 наборах не выполняется. Действительно, для набора 1111 имеем
, 
, т.е. 
.
Следовательно, 
.
Похожие работы
... утверждают или отрицают какие-либо отношения между объектами и явлениями реальной действительности. 3.Математическая логика и «Здравый смысл» в XXI веке. Логика - не только сугубо математическая, но также и философская наука. В XX веке эти две взаимосвязанные ипостаси логики оказались разведенными в разные стороны. С одной стороны логика понимается как наука о законах правильного мышления, ...
... занимательности. Упражнения однотипны. Поэтому просто необходимо дополнять данные в учебнике упражнения дополнительными заданиями развивающего характера. Глава II. Методика изучения элементов алгебры и математической логики. § 1. Методика изучения числовых выражений, выражений с переменными, числовых равенств и неравенств, уравнений. Изучение числовых выражений, равенств и неравенств, а ...
... утверждение "Я никогда не пользуюсь методами математической логики". Очевидно, что они противоречат друг другу, однако они вполне могут оказаться одновременно ложными. Например, если вы специалист по математической логике, то вы должны часто пользоваться её методами, но вряд ли они нужны вам каждый день вашей жизни. Закон исключенного третьего предназначен для использовании в области точных наук, ...
... постулаты D (то есть аксиомы Ax Ì FÍ A* и дедуктивные средства P Ì Fn+1), то говорят о построении теории как формальной системы F.S. = <L, D> = <A, S, Ax, P>Þ <A, F, Ax, P>. Другим подходом к построению математической логике является - содержательный, то есть неформальный. В этом случае аксиомы и дедуктивные средства явным образом не определяются (то есть ...
0 комментариев