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

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

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

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

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

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

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

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

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