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