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
In 2012, CKod was founded by CKod, as a personal project to create a powerful tool to solve his own exercises in Mathematics. In 2013, an unofficial version was released, he created it as a special gift for his friends.
In 2014, many Mathematics communities in Vietnam, such as VMF, MathScope ..., had introduced this software to many Vietnamese students.
In 2015, after he had learned more about open source software, he decided to make it an open project, which is used by multiple users over the Internet.
Usages
To use CKod, you should know its syntax. But, the author of CKod does not introduce it on project site.
In 2014, a community, whose name is CKed, has introduced its syntax, here.
References
- Truth table
- De Morgan's laws
- PHP
External links
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.
