Improve `[LogicalFormula]` class by better support names with spaces

[iRon7]

For a formula as Test 1 and Test 2 or Test 3 it is clear with parts are operators and which parts are operands (even they include spaces)