Re: [boost] modern logic classes

Thanks for sharing. Could we have some motivating use cases for these types and functions?

This is supposed to be a general library, but in my opinion with a better implementation for three-valued logic. tribool can be replaced by bool3. What bothers me about tribool is: * strange implementation of indeterminate * no support for weak negation https://de.wikipedia.org/wiki/Dreiwertige_Logik#Starke_und_schwache_Negation https://arxiv.org/pdf/cs/0511041.pdf * no support for - std::numeric_limits - std::to_(w)string - std::from/to_chars or boost::from/to_chars - std::formatter for std::format I would be grateful for any further ideas/criticism. regards Gero