Definition:Logical Product