Definition:Logical Sum