Основные законы алгебры логики в информатике