Функционально полные системы логических функций. Алгебраический подход
РЕФЕРАТ
На тему:
«Функционально полные системы логических функций. Алгебраический подход»
МИНСК, 2008
Из множества функционально полных наборов рассмотрим только те, которые имеют наибольшее практическое значение.
1. Основная функционально
полная система логических
f10 – инверсия (логическая связь НЕ, логическое отрицание);
f1 - конъюнкция (логическая связь И, логическое умножение),
f7 – дизъюнкция
(логическая связь ИЛИ,
Этот набор получил название функционально полной системы лог и ческих функций (ОФПС). Из теоремы о функциональной полноте следует, что основная функционально полная система логических функций является избыточной, так как условиям теоремы отвечают наборы функций f10 и f1 или f10 и f7. Свойства этих функций были рассмотрены ранее.
Из определения
представления переключательной функции
в виде дизъюнктивной или
2. Законы алгебры
логики в ОФПС и их следствия.
В алгебре логики имеются
Переместительный
закон. Этот закон справедлив как
для дизъюнкции, так и для конъюнкции:
x 1 x 2 = x 2 x 1 ; x 1 x 2
= x 2 x 1 . (1)
Справедливость выражения (5.1) нетрудно доказать простой подста-новкой в него различных значений x 1 и x 2 . Поскольку любую переста-новку большего количества слагаемых можно свести к последователь-ности перестановок слагаемых в отдельных парах, то переместитель-ный закон будет справедлив при любом числе слагаемых.
Сочетательный
закон. Этот закон, так же как и
переместительный, является симметричным,
т. е. справедливым и для дизъюнкции,
и для конъюнкции:
x1 x2 x3 = x1(x2 x3) = (x1
x2)x3= x2( x1 x3); (2)
x1 x2 x3 = x1x2 x3) = (x1 x2)x3=
x2( x1 x3).
Доказательство
этого закона также не представляет
никаких труд-ностей и может быть выполнено
простой подстановкой.
Распределительный
закон. В отличие от обычной алгебры
алгебра логики симметрична. В ней
справедливы два
для логического
умножения относительно логического
сложения (рас-пределительный закон 1-го
рода) и для логического сложения относи-тельно
логического умножения (распределительный
закон 2-го рода).
1. Распределительный
закон 1-го рода записывается
следующим образом:
(x1x2)x3=(x1x3) ( x2 x3) .
(3)
Справедливость
формулы (5.3), а также и ее более
общего случая, когда в скобках
заключена сумма любого количества
слагаемых, можно доказать путем установления
идентичности условий обращения в 0 или
1 ее левой и правой частей. Условием обращения
в нуль левой части выражения (5.3) состоит
в том, чтобы нулю равнялся либо один аргумент
х 3 , либо одновременно аргументы x 1 и x
2 . Условия обращения в нуль правой части
выражения (5.1) такие же. Следовательно,
распределительный закон 1-го рода справедлив
для алгебры логики.
2. Распределительный
закон 2-го рода имеет вид
(x1x2)x3=(x1x3) ( x2x3). (4)
Cправедливость
формулы (4) (при любом количестве аргументов)
нетрудно доказать посредством установления
идентичности условий обращения обеих
ее частей в единицу.
Закон инверсии
(правило Де Моргана). Этот закон, так же
как и все предыдущие, симметричен относительно
логических сложения и умножения.
1. Отрицание
логической суммы нескольких
аргументов равно ло-гическому произведению
отрицаний этих же аргументов:
(5)
Доказательство
закона не представляет трудностей, поскольку
условие обращения в нуль как
левой, так и правой частей выражения
(5) состоит в том, чтобы был
истинным хотя бы один аргумент.
2. Отрицание
логического произведения
(6)
Справедливость
этого закона следует из того, что
условие обращения в единицу
обеих частей формулы (6) заключается
в том, чтобы был ложным хотя бы
один аргумент.
Следствия из законов
алгебры логики. Из доказанных выше
за-конов можно вывести ряд следствий,
которые сформулируем в виде правил.
Правило выполнения
совместных логических действий (правило
старшинства логических функций). При
решении логических задач приходится
встречаться с выражениями, содержащими
действия отри-цания, конъюнкции и дизъюнкции
в любом сочетании. По аналогии с арифметическими
действиями будем считать отрицание логическим
действием первой ступени (старшей логической
опера-цией), конъюнкцию — действием второй
ступени, а дизъюнкцию — действием третьей
ступени (младшей логической операцией).
Старшинство операции
инверсии вытекает из закона инверсии,
в соот-ветствии с которым логическая
сумма отрицаний некоторых аргументов
не равна отрицанию их суммы (это справедливо
и для логического произведения). Это значит,
что ни операцию дизъюнкции, ни операцию
конъюнкции нельзя проводить, игнорируя
знак отрицания над каким-либо из логических
аргументов, т. е. операцию отрицания надо
про-водить в первую очередь.
Относительно
операций логического сложения и
умножения на основании симметричности
законов алгебры логики можно
сказать, что они «равноправны».
Из этого следует, что можно условиться
считать более старшей
На основе изложенного
можно сформулировать следующее
пра-вило выполнения совместных логических
действий: если в логическом выражении
встречаются только действия одной и той
же ступени, то их принято выполнять в
том порядке, в котором они написаны; если
в логическом выражении встречаются действия
различных ступеней, то сначала принято
выполнять действия первой ступени, затем
— второй, и только после этого – третьей.
Всякое отклонение от этого порядка должно
быть обозначено скобками.
Правило склеивания.
Прежде чем сформулировать само правило,
введем некоторые новые понятия.
Если имеется некоторый конечный
набор логических аргументов x 1 , x 2
, … x n , то логическое произведение любого
их числа называется элементарным в том
случае, когда сомножите-лями в нем являются
либо одиночные аргументы, либо отрицания
одиночных аргументов. Так, например, f
1 (х 1 , х 2 , x 3 , х 4 )= х 1 х 2 x 3 х 4 – элементарное
произведение (элементарная конъюнкция);
–не является элементарным про-изведением.
Cимвол любого аргумента
в элементарной конъюнк-ции может встречаться
только один раз, поскольку произведение
аргу-мента самого на себя равно этому
же аргументу, а произведение аргу-мента
на свое отрицание равно нулю. Количество
сомножителей в элементарной конъюнкции
называется ее рангом.
Два элементарных
произведения одинакового ранга
r называются соседними, если они являются
функциями одних и тех же аргументов и
отличаются только знаком отрицания (инверсии)
одного из сомножи-телей. Например, элементарные
конъюнкции
f 1 (х 1 , х 2 , x 3 , х
4 )= х 1 х 2 x 3 х 4 и f 3 (х 1 , х 2 , x 3 , х 4 )=
являются соседними,
так как отличаются только одной
инверсией в переменной x 2 , а элементарные
конъюнкции
f 3 (х 1 , х 2 , x 3 , х
4 )= и f 4 (х 1 , х 2 , x 3 , х 4 )=
соседними не являются.
Правило склеивания
для элементар-ных конъюнкций может
быть сформулировано следующим образом:
логическую сумму двух соседних произведений
неко-торого ранга r можно заменить одним
элементарным произведением ранга r-1,
являющимся общей частью исходных слагаемых.
Это правило
является следствием распределительного
закона 1-го рода и доказывается путем
вынесения за скобку общей части
сла-гаемых, являющихся соседними конъюнкциями.
Тогда в скобках ос-тается логическая
сумма некоторого аргумента и его инверсии,
равная единице, что и доказывает справедливость
правила.
Например,
.
Поскольку алгебра
логики является симметричной, то все
опреде-ления, данные для конъюнкции, будут
справедливы и для дизъюнкции.
Если имеется
некоторый конечный набор логических
аргументов, то логическая сумма (дизъюнкция),
зависящая от любого их числа, называется
элементарной в том случае, когда
слагаемыми в ней явля-ются либо
одиночные аргументы, либо отрицания одиночных
аргу-ментов.
Количество слагаемых
в элементарной дизъюнкции называется
ее рангом. Две элементарные суммы
одинакового ранга называются соседними,
если они являются функциями одних
и тех же аргументов и отлича-ются
только знаком отрицания (инверсии) одного
из слагаемых.
Правило склеивания
двух элементарных дизъюнкций формули-руется
так: логическое произведение двух соседних
сумм некоторого ранга r можно заменить
одной элементарной суммой ранга r-1, являющейся
общей частью исходных сомножителей.
Это правило
является следствием распределительного
закона 2-го рода и применяется для
упрощения логических выражений.
Например:
Правило поглощения.
Так же как и склеивание, поглощение
может быть двух видов. Правило поглощения
для двух элементарных конъюнкций форму-лируется
так: логическую сумму двух элементарных
произведений раз-ных рангов, из которых
одно является собственной частью другого,
можно заменить слагаемым, имеющим меньший
ранг.
Это правило
является следствием распределительного
закона 1-го рода. Доказывается оно посредством
вынесения за скобку общей части
слагаемых. В скобках останется
логическая сумма некоторого выражения
и единицы, равная в свою очередь
также единице, что и до-казывает
справедливость правила. Например,
Правило поглощения
для двух элементарных дизъюнкций:
логи-ческое произведение двух элементарных
сумм разных рангов, из которых одна является
общей частью другой, можно заменить сомножителем,
имеющим меньший ранг.
Это правило
является следствием распределительного
закона 2-го рода и также находит
широкое применение для упрощения
логи-ческих функций.
Правило развертывания.
Это правило регламентирует действие,
обратное склеиванию. Иногда требуется
представить некоторое
в развертываемую
элементарную конъюнкцию ранга r в качестве
дополнительных сомножителей вводится
п-r единиц, где п – ранг конституенты;
каждая единица
представляется в виде логической суммы
некото-рой, не имеющейся в исходной конъюнкции
переменной и ее отрицания: ;
производится
раскрытие всех скобок на основе распределитель-ного
закона первого рода, что приводит к развертыванию
исходной элементарной конъюнкции ранга
r в логическую сумму кон-ституент единицы.
Пример Развернуть
элементарную конъюнкцию f(x1,x2,x3,x4) = =x 1
x 3 в логичес-кую сумму конституент единицы.
Решение. Ранг конституенты
единицы для данной функции равен 4. Произ-водим
развертывание исходной конъюнкции поэтапно
в соответствии с правилом развертывания:
1-й этап–
f(x 1 ,x 2 ,x 3 ,x 4 ) = x 1 1x 3 1.
2-й этап –
f(x 1 ,x 2 ,x 3 ,x 4 ) =
3-й этап –
f(x 1 ,x 2 ,x 3 ,x 4 )=
= что и тре-бовалось
получить.
Если членами
преобразуемого выражения являются
элементарные дизъюнкции, то переход
от них к конституентам нуля производится
также в три этапа по следующему правилу:
в развертываемую
элементарную дизъюнкцию ранга r в качестве
дополнительных слагаемых вводится п-r
нулей;
каждый нуль
представляется в виде логического
произведения некоторой, не имеющейся
в исходной дизъюнкции переменной,
и ее отри-цания:
получившееся
выражение преобразуется на основе
распределитель-ного закона второго рода
таким образом, чтобы произвести раз-вертывание
исходной элементарной дизъюнкции ранга
r в логическое произведение конституент
нуля.
Пример. Развернуть
элементарную дизъюнкцию f(x 1 ,x 2 ,x 3 ,x 4 )=
=x 3 x 4 в логическое произведение конституент
нуля.
Решение. Ранг конституенты
нуля п = 4. Далее производим развертывание
исходной дизъюнкции поэтапно в соответствии
с правилом развер-тывания:
1-й этап –
f(x 1 ,x 2 ,x 3 ,x 4 ) =00x 3 x 4 ;
2-й этап –
f(x 1 ,x 2 ,x 3 ,x 4 ) =
3-йэтап–f(x 1 ,x 2 ,x
3 ,x 4 )=
что и требовалось
получить.
Проверить правильность
проведенных преобразований можно
при помощи пра-вила склеивания.
3. Функционально
полные системы логических
Операция Пирса
(стрелка Пирса) реализует функцию,
которая принимает значение, равное
единице только в том случае, когда
все ее аргументы равны 0 (ИЛИ-НЕ),
что может быть записано в ОФПС
для функции двух переменных следующим
образом:
(7)
Используя операции
суперпозиции и подстановки можно
показать, что операция Пирса может
быть реализована для n аргументов:
(8)
Для представления
переключательной функции в базисе
Пирса необходимо выполнить следующие
действия:
представить переключательную
функцию f в конъюнктивной нормальной
форме;
полученное выражение
представить в виде (поставить
два знака отрицания);
применить правило
Де Моргана.
Например, для
того чтобы представить функцию
в базисе Пирса,
необходимо выполнить следующие
преобразования:
Для представления
полученного выражения в базисе
Пирса воспользуемся
.
Операция Шеффера
(штрих Шеффера) реализует функцию,
которая принимает значение, равное
нулю, только в том случае, когда
все ее аргументы равны 1 (И-НЕ), что
может быть записано в ОФПС для функции
двух переменных следующим образом:
(9)
Используя операции
суперпозиции и подстановки, можно
показать, что операция Пирса может
быть реализована для n аргументов:
f(x 1 ,x 2 ,…,x n )= x 1
x 2 …x n = (10)
Для представления
переключательной функции в базисе
Шеффера необходимо выполнить следующие
действия:
представить переключательную
функцию f в дизъюнктивной нормальной
форме;
полученное выражение
представить в виде (поставить
два знака отрицания);
применить правило
Де Моргана.
Например, для
того чтобы представить функцию
в базисе Шеффера,
необходимо выполнить следующие
преобразования:
Для представления
полученного выражения в базисе
Шеффера воспользуемся
f(x 1 ,x 2 ,x 3 ,x 4 )=(x 4
x 2 )(x 3 x 1 ).
ЛИТЕРАТУРА
1. Белоусов А.И.,
Ткачев С.Б. Дискретная
2. Горбатов В.А.
Фундаментальные основы
3. Петрова В.Т.
Лекции по алгебре и геометрии.
4. Зарубин В.С.
Математическое моделирование
нистерство образования
Российской Федерации
Хабаровский Государственных
Педагогический Университет
Реферат
Тема:
«Лечебная физкультура
при
заболеваниях
сердечно-сосудистой
системы»
Выполнил: студент
I курса 213 гр.
Лагойко Евгений
Владимирович
Проверил преподаватель:
Ушаков Степан
Владимирович
г. Хабаровск
2003 год
1. Лечебная физкультура (ЛФК).
2. Введение.
3. Требование общего режима.
4. Примерный
перечень рекомендуемых
5. Лечебная гимнастика при врожденном пороке сердца.
6. Библиография
1. Лечебная физкультура (ЛФК).
Лечебная физкультура (ЛФК). - Совокупность методов лечения, профилактики и
медицинской реабилитации, основанных на использовании физических упражнений,
специально подобранных и методически разработанных. При их назначении врач
учитывает особенности заболевания, характер, степень и стадию болезненного
процесса в системах и органах. В основе лечебного действия физических
упражнений лежат строго дозированные нагрузки применительно к больным и
ослабленным. Различают общую тренировку - для укрепления и оздоровления
организма в целом, и тренировки специальные - направленные на устранение
нарушенных функций определенных систем и органов. Гимнастические упражнения
классифицируются: а) по анатомическому принципу - для конкретных мышечных
групп (мышцы рук, ног, дыхательные и т.д.); б) по самостоятельности -
активные (выполняемые полностью самим больным) и пассивные (выполняемые
больным с нарушенной двигательной функцией с помощью здоровой конечности,
либо с помощью методиста). Для осуществления задачи подбирают те или иные
группы упражнений (например, для укрепления мышц живота - упражнения в
положении стоя, сидя и лежа), в результате которых организм адаптируется к
постепенно возрастающим нагрузкам и корректирует (выравнивает), вызванные
заболеванием нарушения.
Назначает лечебную физкультуру лечащий врач, а врач-специалист по ЛФК
определяет методику занятий. Процедуры проводит инструктор, в особо сложных
случаях - врач по ЛФК. Применение лечебной физкультуры, повышая эффективность
комплексной терапии больных, ускоряет сроки выздоровления и предупреждает
дальнейшее прогрессирование заболевания. Самостоятельно начинать занятия ЛФК
не следует, так как это может привести к ухудшению состояния, методика
занятий, назначенная врачом, должна строго соблюдаться.
2. Введение.
Заболевания сердечно-сосудистой системы являются в настоящее время основной
причиной смертности и инвалидности наделения экономически развитых стран. С
каждым годом частота и тяжесть этих болезней неуклонно нарастают, все чаше
заболевания сердца и сосудов встречаются и в молодом, творчески активном
возрасте.
К болезням сердечно-сосудистой системы относятся: дистрофия миокарда,
миокардит, эндокардит, пороки сердца, перикардит, атеросклероз, ишемическая
болезнь сердца (стенокардия, инфаркт миокарда), гипертоническая и
гипотоническая болезни, облитерирующий эндартериит, тромбофлебит, варикозное
расширение вен и др. Особого внимания заслуживает ишемическая болезнь сердца
— болезнь, связанная с острой или хронической дисфункцией сердечной мышцы
вследствие уменьшения снабжения миокарда артериальной кровью. Разновидностями
ишемической болезни являются стенокардия и инфаркт миокарда. Ишемическая
болезнь протекает коварно, часто
(в 35—40% случаев)
без клинических симптомов,
трудоспособности.
Распространению болезни способствует ряд факторов внешней я внутренней среды
(«факторы риска»).
Из группы социально-
значение имеют: потребление высококалорийной пищи, богатой насыщенными
жирами и холестерином (избыточный вес, ожирение); курение; «сидячий»
(малоактивный)
образ жизни; стрессовые
городах. Из нарушений биохимических и физиологических регуляторных
механизмов важное значение имеют: гиперхолестеринемия, гипертриглицеродемия,
ряд форм гиперлипопротейнемии, нарушенная толерантность к углеводам,
артериальная гипертония и др.
3. Требование общего режима.
Широкое распространение
заболеваний сердечно-
требует прежде всего интенсификации массовых профилактических мероприятий как
в виде первичной, так и в виде вторичной профилактики. Первичная профилактика
подразумевает предупреждение заболеваний сердца у лиц внешне здоровых, без
объективных и субъективных признаков заболевания, но имеющих те или иные
факторы риска; вторичная профилактика — предупреждение прогрессировать и
осложнений заболеваний сердца.
Рациональная физическая культура является непременной составной частью
как первичной, так и вторичной профилактики. Известно, что под
влиянием физических упражнений заметно возрастает толерантность к физической
нагрузке; улучшаются функциональное состояние и сократительная функция
миокарда; повышается коронарный резерв и экономичность сердечной
деятельности; улучшается коллатеральное кровообращение; уменьшаются секреция
катехоламинов, содержание липидов и общего холестерина в крови; улучшается

- Функционально-смысловые типы речи
- Функционально-смысловые типы речи
- Функционально-смысловые типы речи: повествование
- Функционально-стоимостной анализ
- Функционально-стоимостной анализ
- Функционально-стоимостной анализ
- Функционально-стоимостной анализ
- Функциональное питание на основе сырья животного происхождения
- Функциональное разделение труда
- Функциональное разделение труда в системе управления
- Функциональное тестирование Web-приложений на основе технологии UniTesK
- Функциональное уравнение
- Функциональное устаревание
- Функциональное устройство ЭВМ различных поколений