Boolean-Logic Patterns