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