Boolean Analysis Protocol Design | Boolean Analysis | Mathematics | NEROS