CKod
| File:Ckod logo.gif | |
| File:Ckod shot.gif CKod is working with De Morgan's laws | |
| Developer(s) | CKod |
|---|---|
| Initial release | January 1, 2012 |
| Stable release | 15.01.01
/ January 1, 2015 |
| Written in | PHP |
| Engine | |
| Type | Truth table generator |
| License | General Public License |
| Website | ckod |
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.
History[edit]
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.
In 2014, many Mathematics communities in Vietnam, as VMF, MathScope ..., had introduced this software to many Vietnamese students.
In 2015, after he had been learn more about open source software, he decided to make it to be an open project, which is used by multi-user over the Internet.
Usages[edit]
To use CKod, you should know it syntax. But, the author of CKod does not introduce it in project site.
In 2014, a community, whose name is CKed, has introduce its syntax, at here.
References[edit]
External links[edit]
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.
