-valued</div>
<div class="ttc" id="agroup__group-_logical_html_ga4a7c9d7037601d5e553fd20777958980"><div class="ttname"><a href="group__group-_logical.html#ga4a7c9d7037601d5e553fd20777958980">boost::hana::not_</a></div><div class="ttdeci">constexpr auto not_</div><div class="ttdoc">Negates a Logical.</div><div class="ttdef"><b>Definition:</b> not.hpp:31</div></div>
</div><!-- fragment --><blockquote class="doxtable">
<p>#### Why is the above not a boolean algebra? If you look closely, you will find that we d