Цель исследования заключается в оценке эффективности объяснения обучающимся подходов к анализу логических выражений с использованием языка программирования Python. Изучение математической логики в школе является основной дидактической линией и носит междисциплинарный характер. В связи с этим пониманию обучающимися сущности логических операций, последовательности их выполнения и выполнимости логических формул уделяется особое внимание. Наглядное представление табличных данных программными средствами, связь с пропедевтикой и дидактикой программирования обусловливают востребованность применения алгоритмических конструкций при решении заданий анализа истинности логических формул. Восстановление исходных данных логических переменных с помощью инструментов систем программирования позволяет не только раскрыть функциональные особенности логических зависимостей, но и показать применение компьютерных сред. Использование их возможностей открывает перед обучающимися перспективы совершенствования своих навыков при обработке логических типов данных, что служит основой грамотного составления условий проверки в конструкциях ветвлений и циклов. В статье представлены результаты апробации методологических приемов обучения анализу логических выражений в среде Python. Основное внимание уделено правилам записи логических выражений, порядку следования логических переменных, а также возможному расположению наборов логических кортежей в соответствии с уникальностью данных в таблицах истинности. Авторами приводятся примеры основных типов заданий, используемых в экспериментальной работе. Исследование демонстрирует связь теории построения логических выражений и их анализа с использованием современных средств компьютерной практики.