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