Propositional Logic Tools

Using this tool, various computations can be performed for given propositional logic formulas.

	truth table
	CCNF (canonical conjunctive normal form)
	CDNF (canonical disjunctive normal form)
	SNF (Shannon normal form)
	RMNF (Reed-Muller normal form)
	FDD (functional decision diagram)
	ZDD (zero-suppressed binary decision diagram)
	BDD (binary decision diagram)
	Shannon graph
	sequent calculus proof tree
	linear equi-satisfiable clause set
	SAT solver (DPLL with non-chronological backtracking aka clause learning)
	my formulas given below with variable order:
	a & b -> c; a & b -> a \| c; (a ? b : c)
	Hidden Weighted Bit Function with N Bits; N=:
	Threshold Function (more than K of N) K,N:
	Threshold Function (exactly K of N) K,N:
	Queen Problem N (caution: has N² variables): remark: This is false for N≤3 and true for N>3.
	Comparison of N-bit Numbers:
	Addition of N-bit Numbers:
	Multiplication of N-bit Numbers:
	Multiples of Constants with N-bits:
	Square Numbers with N-bits:
	Prime Numbers with N-bits:

Fachbereich Informatik