FLINT3.7.0-dev

truth_and, truth_or, truth_not

Synopsis#include <flint/gr.h>
truth_t truth_and(truth_t x, truth_t y)source
truth_t truth_not(truth_t x)source

Kleene's three-valued conjunction, disjunction and negation: for example truth_and returns T_FALSE if either argument is T_FALSE and T_UNKNOWN if neither is T_FALSE and one is T_UNKNOWN.

Cite this page

The FLINT team, “truth_and, truth_or, truth_not (gr.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr/truth_and.html (generated 2026-10-20).