The truth table in the documention makes no sense to me

[Robert Ramey]

The documentation contains truth tables for the various logical functions. Here is an example for the && operator

&& 	false 	true 	indeterminate
false 	false 	false 	false
true 	false 	true 	indeterminate
indeterminate 	false 	indeterminate 	indeterminate

What I expect to see is

x             y              x && y
false         false          false
false         true           false
false         indeterminate  false
true          false          false
true          true           true
true          indeterminate  indeterminate
indeterminate false          false
indeterminate true           indeterminate
indeterminate indeterminate  indeterminate

similarly for the other operators.

Also, there needs to be a real explanation for safe_bool. I think I understand it now, but it was totally non-obvious. At a bare minimum a link to a real explanation is necessary.

Robert Ramey

[Steven Watanabe]

It's just organized slightly differently. The top row and the left column are the arguments. The remaining 3x3 cells are the results.

[James E. King, III]

The truth tables make sense to me as-is, and the issue about safe_bool has been moved to ​https://github.com/boostorg/logic/pull/7. As such, closing this out.