Лекция 2. Элементы алгебры логики, основные теоремы булевой алгебры и логические