1 files changed, 70 insertions, 0 deletions
diff --git a/man3/libnormalform_false.3 b/man3/libnormalform_false.3
new file mode 100644
index 0000000..83dd97a
--- /dev/null
+++ b/man3/libnormalform_false.3
@@ -0,0 +1,70 @@
+.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)