Boolean addition