1
0
Fork
You've already forked libnormalform
0
Work in progress
  • C 76.8%
  • Roff 21.9%
  • Makefile 1.3%
Find a file
Mattias Andrée 77ade8d209
 Second commit 
Signed-off-by: Mattias Andrée <m@maandree.se>
2026年06月01日 19:07:14 +02:00
man3 Second commit 2026年06月01日 19:07:14 +02:00
mk First commit 2024年07月19日 01:29:42 +02:00
.gitignore First commit 2024年07月19日 01:29:42 +02:00
common.h Second commit 2026年06月01日 19:07:14 +02:00
config.mk First commit 2024年07月19日 01:29:42 +02:00
libnormalform.7 Second commit 2026年06月01日 19:07:14 +02:00
libnormalform.h Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_all.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_and.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_and2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_and2__.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_and_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_andl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_andl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_andl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_any.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_apply_transformation__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_cdnf.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_clause_cmp__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_clause_sort_cmp__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_clone.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_cnf.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_contains_clause__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_dnf.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_empty.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_evaluate.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_existentially.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_exists.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_express.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_express__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_expression_to_term__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_false.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_fix_presentation__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_free.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_free_expression__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_from_string.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_function.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_get_relationship__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_if.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_if2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_if_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_ifl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_ifl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_ifl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_imply.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_imply2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_imply_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_implyl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_implyl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_implyl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_literal_cmp__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_literal_sort_cmp__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_make_binary__.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_nand.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nand2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nand_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nandl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nandl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nandl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nexists.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nif.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nif2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nif_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nifl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nifl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nifl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimply.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimply2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimply_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimplyl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimplyl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nimplyl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nonempty.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nor2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_nor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_norl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_norl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_norl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_not.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_one.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_or.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_or2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_or2__.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_or_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_orl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_orl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_orl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_ref.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_reset_indices_and_counts__.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_set_indices_and_counts__.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_singleton.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_to_string.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_transformation.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_true.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_unique.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_uniquely.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_universally.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vand.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vand_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_variable.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vif.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vif_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vimply.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vimply_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnand.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnand_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnif.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnif_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnimply.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnimply_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vnor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vxnor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vxnor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vxor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_vxor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnor2.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnorl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnorl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xnorl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xor.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xor2.c Second commit 2026年06月01日 19:07:14 +02:00
libnormalform_xor2__.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xor_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xorl.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xorl_checked.c First commit 2024年07月19日 01:29:42 +02:00
libnormalform_xorl_macro_test.c First commit 2024年07月19日 01:29:42 +02:00
LICENSE Second commit 2026年06月01日 19:07:14 +02:00
Makefile Second commit 2026年06月01日 19:07:14 +02:00
memcheck.c Second commit 2026年06月01日 19:07:14 +02:00
memcheck.h First commit 2024年07月19日 01:29:42 +02:00
README Second commit 2026年06月01日 19:07:14 +02:00 

NAME
	libnormalform - First-order logic sentence normalisation library
SYNOPSIS
	#include <libnormalform.h>
	Link with -lnormalform.
DESCRIPTION
	The libnormalform library provides a mechanism for expressing
	first-order logic sentence and normalises them on the fly to
	negation normal form, and then lets the user choose disjunctive
	normal form (DNF) or conjunctive normal form (CNF).
	libnormalform support all Boolean connectives: AND, OR, XOR,
	IMPLY, IF, NAND, NOR, XNOR, NIMPLY, NIF, and NOT, as well as the
	boolean constants TRUE and FALSE. Additionally, libnormalform
	supports three standard qualifiers: the universal qualifier
	(FOR ALL), the existential qualifier (THERE EXISTS), and the
	unique existential (uniqueness) qualifier (THERE EXISTS ONE).
	For all binary connectives, libnormalform support simply
	chaining (e.g. AND(a, b, c) instead of AND(AND(a, b), c)).
	For all qualifiers, libnormalform supports qualification over
	an array or an associative array.
	libnormalform also provides application managed boolean
	variables and functions. These as well as the domains for
	qualifiers can be set dynamically and the value of the
	sentence can be evaluate at any time.
	When libnormalform is asked to output the sentences in DNF
	or CNF, it can relax parts of sentence in case the application
	wants to express the sentence in a particular form but cannot
	express all parts of, and therefore needs alternative that is
	at least as true. While relaxing the sentence, it can eliminiate
	parts of the sentence that become redundant; to be able to do
	this, it queries the application for how the application
	defined variables, functions and domains depend on each other.