Команда для виконання військового вітання військовим частинам і підрозділам не подається:
r під час оголошення в частині або підрозділі тривоги або збору;
r на марші під час руху і на привалах, а також на всіх тактичних заняттях, заняттях з водіння машин і навчаннях;
r на вогневому рубежі та вогневій позиції під час проведення стрільб;
r на аеродромах під час проведення польотів;
r під час виконання господарських робіт або робіт з навчальною метою, а також під час спеціальних занять і робіт у майстернях,
r парках, ангарах, лабораторіях;
r під час спортивних змагань та ігор;
r під час харчування та після сигналу "Відбій" до сигналу "Підйом";
r у приміщеннях для хворих.
У цих випадках начальник або старший за військовим званням лише рапортує начальникові, який прибув. Наприклад: "Товаришу майоре. Перша механізована рота виконує другу вправу навчальних стрільб. Командир роти капітан Шевчук".
Частини та підрозділи, які беруть участь у похоронній процесії, військового вітання не виконують.
СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ, СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА
Мы знаем 2 способа задания логических функций: формулой и таблицей истинности. По формуле легко составляется таблица. На практике при конструировании различных электронных устройств часто возникает обратная задача - от таблицы истинности перейти к формуле.
Предварительно введём следующие определения.
| Элементарной конъюнкцией называется конъюнкция нескольких переменных, взятых с отрицанием или без отрицания, причём среди переменных могут быть одинаковые.
Элементарной дизъюнкцией называется дизъюнкция нескольких переменных, взятых с отрицанием или без отрицания, причём среди переменных могут быть одинаковые.
|
| Всякую дизъюнкцию элементарных конъюнкций Назовём дизъюнктивной нормальной формой, то есть ДНФ. Всякую конъюнкцию элементарных дизъюнкций Назовём конъюнктивной нормальной формой, то есть КНФ.
|
| Совершенной ДНФ (СДНФ) называется ДНФ, в которой нет равных элементарных конъюнкций и все они содержат одни и те же переменные, причём каждую переменную только один раз (возможно с отрицанием). Совершенной КНФ (СКНФ) называется КНФ, в которой нет равных элементарных дизъюнкций и все они содержат одни и те же переменные, причём каждую переменную только один раз (возможно с отрицанием).
|
НАПРИМЕР, для переменных X, Y, Z
| Название
| Соответствует определению
| Не соответствует определению
|
| Элементарная дизъюнкция
| X V ØX X V ØZ ØX V Y V ØZ
| X V Y L X
|
| Элементарная конъюнкция
| ØX L X X L Z X L ØY L ØX
| X V Y L X
|
| ДНФ
| XLØX V XLYLØZ XLY V Y V XLZ
| XÞY Но ДНФ можно построить для всякой формулы путем ее преобразования
|
| КНФ
| (X V Y V ØX) L (ØX V Z) X L (ØX V Y) L (Y V ØZ)
| XÞY Но КНФ можно построить для всякой формулы путем ее преобразования
|
| СДНФ
| XLYLØZ V XLYLZ
| XLY V ØY V XLØZ
|
| СКНФ
| (ØX V Y V Z) L (X V ØY V Z)
| (X V Y V ØX) L (ØX V Z)
|
Имеются 2 алгоритма получения формулы по таблице истинности. Формулы можно получить, выполнив четыре пункта алгоритма.
Алгоритмы получения формулы по таблице истинности
| СДНФ
| |
| СКНФ
|
| 1. Конструирование логических схем начинается с таблицы истинности
(1)
2. Отметим те строки таблицы, выходы которых равны
|
|
| | | | | | | | | | |
|
|
| 3.Выписываем для каждой отмеченной строки комбинацию переменных через знак
|
| конъюнкцию (L)
| |
| дизъюнкцию (V)
|
| знаки операции отрицания расставим следующим образом:
|
| если переменная = 1, то запишем саму эту переменную, если же она = 0, то запишем ее отрицание.
(ØX L Y) для 2-й строки (X L ØY) для 3-й строки
| | | | | | | |
| если переменная = 0, то запишем саму эту переменную,если же она = 1, то запишем ее отрицание.
(X V Y) для 1-й строки (ØX V ØY) для 4-й строки
|
| 4. Все полученные выражения связываем операцией
|
| дизъюнкция
(ØX L Y) V (X L ØY)
| | | | |
| конъюнкция
(X V Y) L (ØX V ØY)
|
| Таблица истинности (1) и полученные СДНФ и СКНФ демонстрируют принцип действия одной и той же логической схемы.
Покажем, что полученные СДНФ и СКНФ эквивалентны. Преобразуем СКНФ по правилам алгебры логики: (X V Y) L (ØX V ØY) = XLØX V XLØY V ØXLY V YLØY = XLØY V
|
