Основы логики в интерактивных анимациях

Перед вами интерактивный ролик, выполненный в среде программирования ActionScript 2.0, адаптированный под работу с Ruffle. Он состоит из четырёх сцен и помогает понять принцип работы логического элемента «импликация» («если… то»).

Как это работает

  1. Наведите курсор на текст «Импликация» — появится подсказка, как это понятие выражается в естественном языке, языках программирования и алгебре логики. После ознакомления щёлкните левой кнопкой мыши.
  2. Откроется новая сцена: щёлкая по анимированным выключателям, вы увидите, как меняется состояние схемы, и сможете сравнить её с обычной схемой включения лампочки.

Импликация. Принцип работы импликатора. Условное обозначение

Перед вами интерактивный ролик, состоящий из четырёх анимированных сцен (слайдов). На первом слайде изображена интерактивная кнопка с надписью «ИМПЛИКАЦИЯ». При наведении курсора на эту кнопку появляется подсказка: импликация (логическое следование) — это операция, выражаемая связками «если…, то…», и обозначается знаком → (или ⇒). Вспомнив основные понятия, нажмите на кнопку «ИМПЛИКАЦИЯ» и перейдите на второй слайд.

Второй слайд позволяет в интерактивном режиме познакомиться с принципом работы электрической схемы «импликатора». Щёлкая по интерактивным выключателям левой кнопкой мыши, наблюдайте за изменениями на входе и выходе схемы. Убедитесь, что лампочка горит (True) во всех случаях, кроме одного: когда первый выключатель включён, а второй выключен. Проверьте работоспособность схемы и объясните принцип её работы (саму электрическую схему запоминать не нужно). Затем перейдите к новому слайду, щёлкнув по кнопке «ИМПЛИКАЦИЯ».

Третий слайд знакомит с таблицей истинности импликации, которую необходимо заполнить в определённой последовательности: первой строке должно соответствовать состояние «всё отключено», второй — X включён, Y выключен, третьей — X выключен, Y включён, последней — всё включено. Ставьте в соответствие X → A, Y → B, а выходу — A → B. Если таблица истинности для импликации будет заполнена правильно, появится кнопка «ДАЛЕЕ», позволяющая перейти к финальному слайду.

Четвёртая сцена знакомит с условным обозначением импликатора и позволяет в интерактивном режиме показать соответствие изменений сигналов на входе‑выходе его электрической схемы и условного обозначения. После этого можно перейти к следующему интерактивному ролику, демонстрирующему принцип работы эквивалентора.