Полезные законы:
двойного отрицания: НЕ(НЕ(x)) = xраспределительный: (A v B) & C = A & C v B & Cпереместительный: A & B = B & A, A v B = B v Aзакон де Моргана: HE(A v B) = HE(A) & HE(B)правила операций с константами: A & 1 = A, A v 0 = AА & В v A & НЕ (В) = A & (B v НЕ(B)) = A & 1 = A
(A v В) & (A v HE (В)) = A & (A v HE(B)) v B & (A v HE(B)) = A & A v A & HE(B) v B & A v B & HE(B) = A v A & HE(B) v A & B v 0 = A & (1 v HE(B) v B) = A & 1 = A
HE(HE(X) v HE(Y)) = HE(HE(X)) & HE(HE(Y)) = X & Y
розгалуження виконується, коли виконання попереднього розгалуження ще не закінчено.
Наприклад, вам потрібно встановити будильник на завтра. Якщо
завтра робочий день, то ви повинні встати о 7-й годині ранку, щоб іти
до школи. Якщо завтра субота, то ви повинні встати о 8-й годині ранку, щоб їхати на заняття гуртка. Якщо завтра неділя, то ви встаєте о
9-й годині ранку.
У наведеному на малюнку алгоритмі друге розгалуження з
умовою Завтра субота? міститься всередині першого розгалуження з
умовою Завтра робочий день?.
Такий фрагмент алгоритму називають вкладеним розгалуженням.
Вкладені розгалуження - це фрагмент алгоритму, у якому одне
розгалуження міститься всередині іншого розгалуження.
Розглянемо виконання наведеного на малюнку 3.26 фрагмента алгоритму. Спочатку перевіряється умова Завтра робочий день?. Якщо
результат перевірки цієї умови Так, то виконується команда Установити будильник на 7-му годину ранку і на цьому виконання всього
цього фрагмента алгоритму закінчується. Якщо результат перевірки
умови Завтра робочий день? - Ні, то перевіряється умова Завтра субота?. Якщо результат перевірки цієї умови Так, то виконується команда
Установити будильник на 8-му годину ранку і на цьому виконання всього цього фрагмента алгоритму закінчується, а якщо результат перевірки
цієї умови Ні, то виконується команда Установити будильник на 9-ту
годину ранку і виконання всього цього фрагмента алгоритму закінчується.
У наведеному на малюнку
фрагменті алгоритму внутрішнє
розгалуження виконується, якщо результат перевірки умови зовнішнього розгалуження Ні.
Объяснение:
рисунок 3.26 (во вложении)
