Алгебра логики в симуляторе логических схем Logicly

Симулятор логических схем Logicly разработан для облегчения изучения основ алгебры логики, обладает средствами визуализации и интуитивно понятным интерфейсом пользователя. Именно поэтому этот логический симулятор был выбран для подготовки серии практических работ по дисциплине «Дискретная математика».

Симулятор логических схем Logicly можно обнаружить, перейдя по ссылке https://logic.ly/demo.

Внешний вид симулятора логических схем Logicly

Симулятор логических схем Logicly позволяет:

научиться использовать логические элементы, входные и выходные сигналы;

получить навык построения логических схем;

научиться переключать входные данные в режиме реального времени;

выполнять проверку заполненных таблиц истинности;

понимать, как работают логические схемы.

Функционал симулятора логических схем Logicly включает в себя построение таблиц истинности, а также их экспорт.

Имеется поддержка операционной системы MAC (MAC OS).

К недостаткам можно отнести:

1. Нет автоматического выравнивания.
2. Платный по подписке.
3. Относительно сильно нагружает компьютер.

Элементарные логические блоки, включённые в симулятор логических схем Logicly, показаны на рисунках 1 – 4 и представляют собой следующие логические операции: отрицание (инверсию) НЕ (NOT), конъюнкция (логическое умножение) И (AND), дизъюнкция (логическое сложение) ИЛИ (OR), сумма по модулю 2 (кольцевую сумму) «исключающее ИЛИ» (XOR).

Для создания проекта в логическом симуляторе Logicly необходимо (рис. 5):

1. запустить логический симулятор Logicly (рис. 5);

Рис. 5. Интерфейс логического симулятора Logicly

2) выбрать необходимый логический элемент (Gate) и переместить его на рабочее поле Logicly;

3) выбрать переключатели (выключатели) и лампочки и переместить их на рабочее поле Logicly (рис. 6);

Рис. 6. Входы (переключатели) и выходы (лампочки) в симуляторе Logicly

4) соединить переключатель, логический элемент и лампочку, протянув провода с помощью мыши (рис. 7);

Рис. 7. Соединение элементов в симуляторе логических схем Logicly

5) имеется возможность получения таблицы истинности для готовой логической схемы, для этого необходимо нажать на соответствующую кнопку в панели инструментов (рис. 8).

Рис. 8. Построение таблицы истинности в симуляторе логических схем Logicly

6) Таблицу истинности можно экспортировать (рис. 9).

Рис. 9. Результат экспорта таблицы истинности в Logicly

На рисунке 10 на примере набора входных переменных (00) показана реализация логических операций И, ИЛИ, «Исключающее ИЛИ», НЕ в режиме отладки логической схемы.

Рис. 10. Пример логической схемы в симуляторе Logicly

Следует отметить, что на канале «Самостоятельная работа» имеется несколько видео, в которых поясняется, как работать в симуляторе логических схем Logicly, а также приведены решения некоторых практических заданий:

1. Введение в Logicly - https://dzen.ru/video/watch/624bc1b364425e5e256330b0.

2. Реализация в Logicly задачи о железнодорожном стрелочном переводе - https://dzen.ru/video/watch/624b0efca5e5cd6aa750e24c.

3. Решение в LogicLy задачи управления освещением и задачи включения сигнализации - https://dzen.ru/video/watch/624bc4a2cd04f331f762dd42.

4. Задача о составлении расписания для подсистем умного дома - https://dzen.ru/video/watch/624bc54723d4ef20da9bab53.

5. Logic.ly: реализация текстовой задачи формирования экипажа спасательной операции -

6. Управление роботом, имеющим три независимых колеса в Logicly - https://dzen.ru/video/watch/624acf30e391da4c007641ae.

7. Решение в Logicly задачи управления охранно-пожарной сигнализацией умного дома - https://dzen.ru/video/watch/624acea8e391da4c0074e3c3.

8. Тест на знание логических функций в симуляторе Logicly - https://dzen.ru/video/watch/624ad4ca7ec0f733ebf7bc07.

9. Задача о железнодорожном стрелочном переводе и её реализация в Logicly – https://dzen.ru/video/watch/624ace179fe0ef42e506afde.

10. Задачи об освещении в Logicly - https://dzen.ru/video/watch/6249a8259ae1cd03e4794537.

Также в среде Learning apps созданы 15 интерактивных упражнений на знание симулятора логических схем Logicly.

Представим перечень ссылок на такие Упражнения:

1. Упражнение «Тест по таблицам истинности» https://learningapps.org/20100518.

2. Упражнение «Тест по Logicly» https://learningapps.org/view20652915.

Рис. 11. Тест по Logicly

3. Упражнение «Законы алгебры логики» https://learningapps.org/view20710549.

4. Упражнение «Кроссворд по Logicly» https://learningapps.org/view20652824.

5. Упражнение «Таблицы истинности» https://learningapps.org/view20535539.

6. Упражнение «Изучение элементов Logicly» https://learningapps.org/view20535437.

Рис. 12. Изучение элементов Logicly

7. Упражнение «Поиск элемента из Logicly» https://learningapps.org/watch?v=pi77uv9rc21.

8. Упражнение «Сопоставьте графически изображенные логические инструменты Logicly с соответствующими таблицами истинности» https://learningapps.org/view20686307.

9. Упражнение «Сопоставьте элемент Logicly с таблицей истинности» https://learningapps.org/watch?v=poi8h30sa21.

10. Упражнение «Сопоставить элемент Logicly с названием» https://learningapps.org/watch?v=pfu1gttua21.

Рис. 13. Сопоставить элемент Logicly с названием

11. Упражнение «Определение элементов интерфейса Logicly» https://learningapps.org/display?v=ppeabfkdk21.

Рис. 14. Определение элементов интерфейса Logicly

12. Упражнение «Выберите правильное название элементов Logicly» https://learningapps.org/display?v=ptsut8b4n21.

Рис. 15. Выберите правильное название элементов Logicly

13. Упражнение «Дайте второе название элементам в Logicly» https://learningapps.org/2010051.

14. Упражнение «Найти пару» https://learningapps.org/display?v=p7u1rswbn21.

15. Упражнение «Определение законов логики высказываний» https://learningapps.org/watch?v=pedztdo3a21.

16. Упражнение «Определите логическую функцию, соответствующую логической схеме»

Рис. 16. Определите логическую функцию, соответствующую логической схеме, выполненную в Logicly

В качестве комментария приведите ссылку на своё Упражнение в среде Learning apps по знанию алгебры логики или логическому симулятору Logicly.