Not, And, Or, Equivalent, Implies
Synopsis
#include <flint/fexpr_builtin.h>NotAndOrEquivalentImpliesLogical negation Not(x) (), conjunction And(x, y) () and disjunction Or(x, y) (), both with any number of arguments, equivalence Equivalent(x, y) (), which is Equal applied to logical values, and implication Implies(x, y) ().
Cite this page
The FLINT team, “Not, And, Or, Equivalent, Implies (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Not.html (generated 2026-11-02).
@misc{flint-doc-fexpr-builtin-Not,
author = {{The FLINT team}},
title = {{Not, And, Or, Equivalent, Implies (fexpr\_builtin.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fexpr_builtin/Not.html},
note = {Generated 2026-11-02}
}