div class="line"><a class="code" href="group__group-_logical.html#ga68c00efbeb69339bfa157a78ebdd3f87">or_</a>(a, <a class="code" href="group__group-_logical.html#ga4a7c9d7037601d5e553fd20777958980">not_</a>(a))  is <span class="keyword">true</span>-valued</div>
<div class="line"><a class="code" href="group__group-_logical.html#ga14066f5672867c123524e0e0978069eb">and_</a>(a, <a class="code" href="group__group-_logical.html#ga4a7c9d7037601d5e553fd20777958980">not_</a>(a)) is <span class="keyword">false</span>