Text this: Logical optimization of Boolean nets using Shannon expansion