Well, it is just another syntax which is the one typically used in programming languages. Your example is (b => (a => 1|0) | 0).
The Shannon graph is not that useful for generating the SNF, since it is just a BDD which is neither ordered nor reduced. However, you may use the BDD instead (best let the tool print both leaf nodes).