Binary Boolean Logic Relation