Binary operations for logical sets - View it on GitHub