Definition:Factor of Logical Product