CKod is working with De Morgan's laws
|January 1, 2012
15.01.01 / January 1, 2015
|Truth table generator
|General Public License
Search CKod on Amazon.
CKod is a powerful computer program, which prints truth tables for expressions in propositional logic, and a library allowing its parser, evaluator and truth table generator to be used in other programs. It includes support for converting logical expressions into several normal forms.
In 2012, CKod was founded by CKod, as a personal project to create a powerful tool to solve his own exercies in Mathematics. In 2013, an unoffical version was released, he created it as a special gift for his friends.
This article "CKod" is from Wikipedia. The list of its authors can be seen in its historical. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.