Not, And, Or, Equivalent, Implies
Synopsis
#include <flint/fexpr_builtin.h>NotAndOrEquivalentImpliesLogical negation Not(x) (\operatorname{not} x), conjunction And(x, y) (x \;\mathbin{\operatorname{and}}\; y) and disjunction Or(x, y) (x \;\mathbin{\operatorname{or}}\; y), both with any number of arguments, equivalence Equivalent(x, y) (x \iff y), which is Equal applied to logical values, and implication Implies(x, y) (x \;\implies\; 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-10-20).
@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-10-20}
}