Формулы и теоремы алгебры логики для информатики