Add boolean logic binding for LogicNG

[SPC-code]

https://github.com/logic-ng/LogicNG

[czengler]

LogicNG Team here! If we can be of any help - let us now!

[SPC-code]

@czengler Nice to meet you. The idea of this issue is to create an Algebra that operates on booleans and then add an integration with MST symbolic expressions. It will add and ability to combine boolean logic with different algebras (like tensor algebras). Also, it will allow to solve boolean problems without language interpreter.

Right now, the issue is on backlog, but if there is a demand for it, probably somebody could take it sooner.