Сервер Методического Обеспечения вгуэс

Вид материала

Реферат

Подобный материал:

• Дипломная работа студента 545 группы, 334.18kb.
• Т. Н. Коржавина Принципы организации службы научного и методического обеспечения колледжа, 47.35kb.
• «sql*net», 239.02kb.
• Генезис развития теории и методики программно-методического обеспечения обучения, 145.89kb.
• Прозрачный прокси сервер на базе squid, ipfw и Freebsd, 8.5kb.
• Доклад «Три кита школьного образования: стандарты, учебники, егэ», 116.02kb.
• Справка по результатам самоаттестации методического объединения учителей русского языка, 447.26kb.
• Большой Сервер Недвижимости 31. 05. 2008: программа, 1328.13kb.
• Т. Г. Римская научный редактор, к и. н., доцент, директор филиала вгуэс в г. Находке, 2476.8kb.
• Владивосток: Изд-во вгуэс, 2005., 1071.2kb.

Полученную СДНФ можно упростить, приведя ее к более простой ДНФ:

1. §6. Приложение алгебры высказываний к исследованию электрических двухполюсников

Приложение логики к электрическим схемам основано на нескольких простых соглашениях.

1. Если по цепи С идет ток, то мы будем писать С=1; если же по С ток не идет, то С=0.

2. Если цепь С состоит из двух последовательно подключенных переключателей А и В, то по С идет ток в том и только в том случае, когда включены А и В, то есть С=1 тогда и только тогда, когда А=1 и В=1:

Но теми же свойствами обладает конъюнкция, поэтому говорят, что последовательное соединение переключателей описывается конъюнкцией:

.

3. Аналогично параллельное соединение переключателей моделируется дизъюнкцией:

4. Через обозначается переключатель, который включен в том и только в том случае, когда переключатель А выключен.

Не давая строгого определения, что такое параллельно-последовательный двухполюсник, приведем пример такого объекта:

Опишем данный двухполюсник формулой алгебры высказываний:

Упростив высказывание F, мы построим схему, соответствующую этому более простому высказыванию. Построенная схема будет функционировать так же, как и исходная, но будет устроена, как мы увидим, более просто:

Таким образом, исходная схема равносильна схеме:

Как видите – эффективный пример, показывающий возможные аспекты приложения алгебры высказываний. Оказывается, полученные результаты позволяют исследовать и упрощать не только параллельно-последовательные, но и произвольные двухполюсники.

1. Пример

Дан двухполюсник.

Обозначим предложенную сеть символом S(A, B, C).

1. Положим, A=0, B=0, C=0. Непосредственно видно, что нет пути из М в N, проходящего по ребрам , поэтому S(0,0,0)=0.

2. Положим, A=0, B=0, C=1. Проверка показывает, что нет пути из М в N по ребрам , поэтому S(0,0,1)=0.

3. а=0, в=1, с=0. Есть путь из М в N. Условно его можно обозначить так: . Поэтому S(0,1,0)=1.

4. а=0, в=1, с=1. Есть путь из М в N: .

Поэтому S(0,1,1)=1.

5. а=1, в=0, с=0. Нет пути из М в N, то есть S (1, 0, 0)=0.

6. а=1, в=0, с=1. S(1, 0, 1)=0.

7. а=1, в=1, с=0. S (1, 1, 0)=0.

8. а=1, в=1, с=1. S (1, 1, 1)=0.

Сети S соответствует таблица истинности:


ABCS00000010010101111000101011001110

. То есть исходная сеть S равносильна следующей: