Would just or'ing, then simplifying amount to the same thing as the code here:

```scala
ff.or(nodes.map(_.simplify): _*).simplify()
```