алгоритм перевести с языка ГСА на язык ЛСA

[Kosat]

Представить на языке ГСА (операторные вершины обозначить буквами $A_{1}, A_{2}, …, A_{n},$ а логические – буквами $\alpha_{1}, \alpha_{2}, …, \alpha_{m}$), используя рекомендуемые ГОСТом обозначения, алгоритм решения следующей задачи.
Расположить четыре представленных числа $A, B, C $и $D$ в порядке «убывания волн» (4, 7, 13, 8 → 13, 7, 8, 4; 5, 11, 8, 12 → 12, 8, 11, 5).
Представленный в предыдущем задании алгоритм перевести с языка ГСА на язык ЛСА (используя обозначения предыдущей задачи) и проверить его действие.



$\alpha_{1} \; - \; \neg ((A>B) \wedge (B>C) \wedge (C>D))$

$\alpha_{2} \; - \; \neg ((A>B) \wedge (B>D) \wedge (D>C))$

$\alpha_{3} \; - \; \neg ((A>C) \wedge (C>B) \wedge (B>D))$

$\alpha_{4} \; - \; \neg ((A>C) \wedge (C>D) \wedge (D>B))$

$\alpha_{5} \; - \; \neg ((A>D) \wedge (D>B) \wedge (B>C))$

$\alpha_{6} \; - \; \neg ((A>D) \wedge (D>C) \wedge (C>B))$

$\alpha_{7} \; - \; \neg ((B>A) \wedge (A>C) \wedge (C>D))$

$\alpha_{8} \; - \; \neg ((B>A) \wedge (A>D) \wedge (D>C))$

$\alpha_{9} \; - \; \neg ((B>C) \wedge (C>A) \wedge (A>D))$

$\alpha_{10} \; - \; \neg ((B>C) \wedge (C>D) \wedge (D>A))$

$\alpha_{11} \; - \; \neg ((B>D) \wedge (D>A) \wedge (A>C))$

$\alpha_{12} \; - \; \neg ((B>D) \wedge (D>C) \wedge (C>A))$

$\alpha_{13} \; - \; \neg ((C>A) \wedge (A>B) \wedge (B>D))$

$\alpha_{14} \; - \; \neg ((C>A) \wedge (A>D) \wedge (D>B))$

$\alpha_{15} \; - \; \neg ((C>B) \wedge (B>A) \wedge (A>D))$

$\alpha_{16} \; - \; \neg ((C>B) \wedge (B>D) \wedge (D>A))$

$\alpha_{17} \; - \; \neg ((C>D) \wedge (D>A) \wedge (A>B))$

$\alpha_{18} \; - \; \neg ((C>D) \wedge (D>B) \wedge (B>A))$

$\alpha_{19} \; - \; \neg ((D>A) \wedge (A>B) \wedge (B>C))$

$\alpha_{20} \; - \; \neg ((D>A) \wedge (A>C) \wedge (C>B))$

$\alpha_{21} \; - \; \neg ((D>B) \wedge (B>A) \wedge (A>C))$

$\alpha_{22} \; - \; \neg ((D>B) \wedge (B>C) \wedge (C>A))$

$\alpha_{23} \; - \; \neg ((D>C) \wedge (C>A) \wedge (A>B))$

$\alpha_{24} \; - \; \neg ((D>C) \wedge (C>B) \wedge (B>A))$

$A_{1} \; - \;

$A_{2} \; - \;

$A_{3} \; - \;

$A_{4} \; - \;

$A_{5} \; - \;

$A_{6} \; - \;

$A_{7} \; - \;

$A_{8} \; - \;

$A_{9} \; - \;

$A_{10} \; - \;

$A_{11} \; - \;

$A_{12} \; - \;

$A_{13} \; - \;

$A_{14} \; - \;

$A_{15} \; - \;

$A_{16} \; - \;

$A_{17} \; - \;

$A_{18} \; - \;

$A_{19} \; - \;

$A_{20} \; - \;

$A_{21} \; - \;

$A_{22} \; - \;

$A_{23} \; - \;

$A_{24} \; - \;

$.\;\;\;\;\;\;\;\;\;1\;\;\;\;\;\;1\;\;\;\;\;2\;\;\;\;\;\;\;2\;\;\;\;\;\;3\;\;\;\;\;\;3\;\;\;\;\;\;4\;\;\;\;\;\;\;4\;\;\;\;\;\;5\;\;\;\;\;\;5\;\;\;\;\;\;6\;\;\;\;\;\;6$ $A_{n} \alpha_{1} \uparrow A_{1} \downarrow \alpha_{2} \uparrow A_{2} \downarrow \alpha_{3} \uparrow A_{3} \downarrow \alpha_{4} \uparrow A_{4} \downarrow \alpha_{5} \uparrow A_{5} \downarrow \alpha_{6} \uparrow A_{6} \downarrow $



$.\;\;\;\;7\;\;\;\;\;\;7\;\;\;\;\;\;8\;\;\;\;\;\;8\;\;\;\;\;\;\;9\;\;\;\;\;\;9\;\;\;\;\;\;10\;\;\;\;\;\;10\;\;\;\;\;\;11\;\;\;\;\;\;11\;\;\;\;\;\;12\;\;\;\;\;12$ $\alpha_{7} \uparrow A_{7} \downarrow \alpha_{8} \uparrow A_{8} \downarrow \alpha_{9} \uparrow A_{9} \downarrow \alpha_{10} \uparrow A_{10} \downarrow \alpha_{11} \uparrow A_{11} \downarrow \alpha_{12} \uparrow A_{12} \downarrow $



$.\;\;\;\;\;13\;\;\;\;\;\;13\;\;\;\;\;\;14\;\;\;\;\;14\;\;\;\;\;\;15\;\;\;\;\;15\;\;\;\;\;\;16\;\;\;\;\;\;\;16\;\;\;\;\;17\;\;\;\;\;\;17$ $\alpha_{13} \uparrow A_{13} \downarrow \alpha_{14} \uparrow A_{14} \downarrow \alpha_{15} \uparrow A_{15} \downarrow \alpha_{16} \uparrow A_{16} \downarrow \alpha_{17} \uparrow A_{17} \downarrow $



$.\;\;\;\;\;18\;\;\;\;\;\;18\;\;\;\;\;\;19\;\;\;\;\;19\;\;\;\;\;\;20\;\;\;\;\;\;20\;\;\;\;\;21\;\;\;\;\;\;\;21\;\;\;\;\;22\;\;\;\;\;\;22$ $\alpha_{18} \uparrow A_{18} \downarrow \alpha_{19} \uparrow A_{19} \downarrow \alpha_{20} \uparrow A_{20} \downarrow \alpha_{21} \uparrow A_{21} \downarrow \alpha_{22} \uparrow A_{22} \downarrow$



$.\;\;\;\;\;23\;\;\;\;\;\;23\;\;\;\;\;\;24\;\;\;\;\;24$ $\alpha_{23} \uparrow A_{23} \downarrow \alpha_{24} \uparrow A_{24} \downarrow А_{k}$

Явно же последняя часть неправильна. У меня как будто бы последовательное исполнение всех ЕСЛИ в обязательном порядке. И хотя по семантике это подходит, но нарисовал-то я другое! Я пытался разобраться в алгоритме перехода от ГСА к ЛСА - не особо получилось. Как добиться того, чтобы при удачном срабатывании ЕСЛИ программа выходила? Ума не приложу, с этими стрелочками вверх/стрелочками вниз...

[Toucan]

Тема перемещена в Карантин.

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

Дубль темы удален.

[Deggial]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

[Kosat]

Вот наиболее правильно оформленные условие и попытки решения. Неужели никто не сталкивался с ЛСА (логическими схемами алгоритмов)?

--------------------------------------------------------------------------------

Представить на языке ГСА (операторные вершины обозначить буквами $A_{1}, A_{2}, …, A_{n},$ а логические – буквами $\alpha_{1}, \alpha_{2}, …, \alpha_{m}$), используя рекомендуемые ГОСТом обозначения, алгоритм решения следующей задачи.
Расположить четыре представленных числа $A, B, C $и $D$ в порядке «убывания волн» (4, 7, 13, 8 → 13, 7, 8, 4; 5, 11, 8, 12 → 12, 8, 11, 5).
Представленный в предыдущем задании алгоритм перевести с языка ГСА на язык ЛСА (используя обозначения предыдущей задачи) и проверить его действие.



$\alpha_{1} \; - \; \neg ((A>B) \wedge (B>C) \wedge (C>D))$

$\alpha_{2} \; - \; \neg ((A>B) \wedge (B>D) \wedge (D>C))$

$\alpha_{3} \; - \; \neg ((A>C) \wedge (C>B) \wedge (B>D))$

$\alpha_{4} \; - \; \neg ((A>C) \wedge (C>D) \wedge (D>B))$

$\alpha_{5} \; - \; \neg ((A>D) \wedge (D>B) \wedge (B>C))$

$\alpha_{6} \; - \; \neg ((A>D) \wedge (D>C) \wedge (C>B))$

$\alpha_{7} \; - \; \neg ((B>A) \wedge (A>C) \wedge (C>D))$

$\alpha_{8} \; - \; \neg ((B>A) \wedge (A>D) \wedge (D>C))$

$\alpha_{9} \; - \; \neg ((B>C) \wedge (C>A) \wedge (A>D))$

$\alpha_{10} \; - \; \neg ((B>C) \wedge (C>D) \wedge (D>A))$

$\alpha_{11} \; - \; \neg ((B>D) \wedge (D>A) \wedge (A>C))$

$\alpha_{12} \; - \; \neg ((B>D) \wedge (D>C) \wedge (C>A))$

$\alpha_{13} \; - \; \neg ((C>A) \wedge (A>B) \wedge (B>D))$

$\alpha_{14} \; - \; \neg ((C>A) \wedge (A>D) \wedge (D>B))$

$\alpha_{15} \; - \; \neg ((C>B) \wedge (B>A) \wedge (A>D))$

$\alpha_{16} \; - \; \neg ((C>B) \wedge (B>D) \wedge (D>A))$

$\alpha_{17} \; - \; \neg ((C>D) \wedge (D>A) \wedge (A>B))$

$\alpha_{18} \; - \; \neg ((C>D) \wedge (D>B) \wedge (B>A))$

$\alpha_{19} \; - \; \neg ((D>A) \wedge (A>B) \wedge (B>C))$

$\alpha_{20} \; - \; \neg ((D>A) \wedge (A>C) \wedge (C>B))$

$\alpha_{21} \; - \; \neg ((D>B) \wedge (B>A) \wedge (A>C))$

$\alpha_{22} \; - \; \neg ((D>B) \wedge (B>C) \wedge (C>A))$

$\alpha_{23} \; - \; \neg ((D>C) \wedge (C>A) \wedge (A>B))$

$\alpha_{24} \; - \; \neg ((D>C) \wedge (C>B) \wedge (B>A))$

$A_{1} \; - \;

$A_{2} \; - \;

$A_{3} \; - \;

$A_{4} \; - \;

$A_{5} \; - \;

$A_{6} \; - \;

$A_{7} \; - \;

$A_{8} \; - \;

$A_{9} \; - \;

$A_{10} \; - \;

$A_{11} \; - \;

$A_{12} \; - \;

$A_{13} \; - \;

$A_{14} \; - \;

$A_{15} \; - \;

$A_{16} \; - \;

$A_{17} \; - \;

$A_{18} \; - \;

$A_{19} \; - \;

$A_{20} \; - \;

$A_{21} \; - \;

$A_{22} \; - \;

$A_{23} \; - \;

$A_{24} \; - \;

$\ \;\;\;\;\;\;\;\;\;1\;\;\;\;\;\;1\;\;\;\;\;2\;\;\;\;\;\;\;2\;\;\;\;\;\;3\;\;\;\;\;\;3\;\;\;\;\;\;4\;\;\;\;\;\;\;4\;\;\;\;\;\;5\;\;\;\;\;\;5\;\;\;\;\;\;6\;\;\;\;\;\;6$ $A_{n} \alpha_{1} \uparrow A_{1} \downarrow \alpha_{2} \uparrow A_{2} \downarrow \alpha_{3} \uparrow A_{3} \downarrow \alpha_{4} \uparrow A_{4} \downarrow \alpha_{5} \uparrow A_{5} \downarrow \alpha_{6} \uparrow A_{6} \downarrow $



$\ \;\;\;\;7\;\;\;\;\;\;7\;\;\;\;\;\;8\;\;\;\;\;\;8\;\;\;\;\;\;\;9\;\;\;\;\;\;9\;\;\;\;\;\;10\;\;\;\;\;\;10\;\;\;\;\;\;11\;\;\;\;\;\;11\;\;\;\;\;\;12\;\;\;\;\;12$ $\alpha_{7} \uparrow A_{7} \downarrow \alpha_{8} \uparrow A_{8} \downarrow \alpha_{9} \uparrow A_{9} \downarrow \alpha_{10} \uparrow A_{10} \downarrow \alpha_{11} \uparrow A_{11} \downarrow \alpha_{12} \uparrow A_{12} \downarrow $



$\ \;\;\;\;\;13\;\;\;\;\;\;13\;\;\;\;\;\;14\;\;\;\;\;14\;\;\;\;\;\;15\;\;\;\;\;15\;\;\;\;\;\;16\;\;\;\;\;\;\;16\;\;\;\;\;17\;\;\;\;\;\;17$ $\alpha_{13} \uparrow A_{13} \downarrow \alpha_{14} \uparrow A_{14} \downarrow \alpha_{15} \uparrow A_{15} \downarrow \alpha_{16} \uparrow A_{16} \downarrow \alpha_{17} \uparrow A_{17} \downarrow $



$\ \;\;\;\;\;18\;\;\;\;\;\;18\;\;\;\;\;\;19\;\;\;\;\;19\;\;\;\;\;\;20\;\;\;\;\;\;20\;\;\;\;\;21\;\;\;\;\;\;\;21\;\;\;\;\;22\;\;\;\;\;\;22$ $\alpha_{18} \uparrow A_{18} \downarrow \alpha_{19} \uparrow A_{19} \downarrow \alpha_{20} \uparrow A_{20} \downarrow \alpha_{21} \uparrow A_{21} \downarrow \alpha_{22} \uparrow A_{22} \downarrow$



$\ \;\;\;\;\;23\;\;\;\;\;\;23\;\;\;\;\;\;24\;\;\;\;\;24$ $\alpha_{23} \uparrow A_{23} \downarrow \alpha_{24} \uparrow A_{24} \downarrow A_{k}$

Явно же последняя часть неправильна. У меня как будто бы последовательное исполнение всех ЕСЛИ в обязательном порядке. И хотя по семантике это подходит, но нарисовал-то я другое! Я пытался разобраться в алгоритме перехода от ГСА к ЛСА - не особо получилось. Как добиться того, чтобы при удачном срабатывании ЕСЛИ программа выходила? Ума не приложу, с этими стрелочками вверх/стрелочками вниз...