.TH LIBNORMALFORM_FALSE 3 LIBNORMALFORM
.SH NAME
libnormalform_false \- Contradiction

.SH SYNOPSIS
.nf
#include <libnormalform.h>

LIBNORMALFORM_SENTENCE *libnormalform_false(void);
.fi
.PP
Link with
.IR -lnormalform .

.SH DESCRIPTION
The
.BR libnormalform_false ()
function creates a contradictory sentence:
a sentence that is always false, regardless
of the its containing formula's input.
.PP
The returned pointer shall either be
deallocated with the
.BR libnormalform_free (3)
function or be relinquished by being
used as part of another sentence.

.SH RETURN VALUE
Upon successful completion, the
.BR libnormalform_false ()
function returns an object representing
the sentence; otherwise, the function returns
.I NULL
and sets
.I errno
to indicate the error.

.SH ERRORS
The
.BR libnormalform_false ()
function fails if:
.TP
.I ENOMEM
Insufficient memory was available to
create the sentence object.

.SH ATTRIBUTES
For an explanation of the terms used in this
section, see
.BR attributes (7)
and
.IR "info \(dq(libc)POSIX Safety Concepts\(dq" .
.TS
allbox;
lb lb lb
l l l.
Interface	Attribute	Value
T{
.BR libnormalform_false ()
T}	Thread safety	MT-Safe
T{
.BR libnormalform_false ()
T}	Async-signal safety	AS-Unsafe heap
T{
.BR libnormalform_false ()
T}	Async-cancel safety	AC-Safe mem, AC-Unsafe heap
.TE

.SH SEE ALSO
.BR libnormalform (7)