Во введении объясняется, почему школьникам бывает сложно проверять составные логические высказывания и зачем нужна наглядная цифровая среда. Здесь формулируются проблема, цель, задачи и ожидаемый продукт проекта, обозначаются его аудитория и практическая польза. Также кратко описываются выбранные способы изучения темы и проверки результата.

В этом разделе раскрывается, что называют логическим высказыванием и почему оно должно иметь значение «истина» или «ложь». Приводятся примеры простых высказываний и предложений, которые ими не являются. Раздел нужен, чтобы определить, какие данные пользователь сможет вводить в лабораторию и как программа будет их обозначать.

Раздел знакомит с отрицанием, конъюнкцией, дизъюнкцией, импликацией и эквиваленцией. Для каждой операции описывается смысл и рассматривается, при каких сочетаниях значений она даёт истину или ложь. Эти сведения станут теоретической основой для алгоритма вычисления выражений и объяснений, отображаемых пользователю.

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

В практической части определяются функции будущего продукта: ввод переменных и логического выражения, выбор или использование операций, запуск проверки и отображение таблицы результатов. Уточняются требования к понятности интерфейса и корректности вычислений. На основе этих требований участники смогут оценить, какие элементы необходимы для учебного использования.

В разделе описывается внешний вид лаборатории и последовательность действий пользователя от ввода выражения до получения результата. Определяются названия элементов управления, способ показа значений переменных и место для таблицы истинности. Продуманная структура должна уменьшить число ошибок при вводе и помочь школьнику проследить ход проверки.

Здесь представляется порядок обработки введённого выражения: определение переменных, перебор возможных наборов их значений, вычисление операций с учётом приоритета и запись результата. При реализации на выбранной платформе описываются основные блоки программы или правила конструктора. Алгоритм должен давать проверяемый результат для каждого допустимого набора данных.

В этом разделе лаборатория проверяется на заранее подготовленных выражениях, для которых вручную составлены таблицы истинности. Результаты программы сопоставляются с эталонными значениями, а найденные расхождения фиксируются и исправляются. Дополнительно оценивается, понятны ли пользователю обозначения, порядок действий и отображение итогов проверки.

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

В список включаются учебники по информатике и логике, материалы об операциях над высказываниями, а также документация выбранной среды разработки. Для электронных источников указываются автор или организация, название материала и адрес страницы, если он доступен. Перечень позволяет проверить теоретические определения и использованные технические решения.