Binary operations for logical sets