Move `LogicAlgebra.Companion.TRUE` and `LogicAlgebra.Companion.FALSE` somewhere else

[CommanderTvis]

It is incorrect to stick true and false to logic operations because of many-valued logic systems: ternary logic, probabilistic logic.

[altavir]

I do not think that fuzzy logic could be made to work with the same interfaces as boolean logic. Does it even have the same operations?

[CommanderTvis]

No, my mistake in mentioning it.

[altavir]

In this case, we use this interface only for binary logic (we can rename it to BinaryLogic if you want).

[CommanderTvis]

It's OK.