- This article was considered for deletion at Wikipedia on January 2 2015. This is a backup of Wikipedia:CKod. All of its AfDs can be found at Wikipedia:Special:PrefixIndex/Wikipedia:Articles_for_deletion/CKod, the first at Wikipedia:Wikipedia:Articles_for_deletion/CKod.
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.