Элементы алгебры логики. Математические основы информатики. Таблицы истинности