@inproceedings{fbbcc8baadbe47e9adbafbb3f43c174e,
title = "Unravelling the hidden truth within logical statements: A computer tool",
abstract = "In this paper a new Mathematica package for creating truth tables for logical reasoning and deduction is introduced. By using several simple examples, the paper shows the different options the user can choose to modify the visualappearance of the tables as well as other additionalfeatures - such as row and column numbering - for betterunderstanding. The package is illustrated through its application to three simple yet meaningful examples coveringdifferent real-life-like problems. All the examples show thegood performance of the package as well as its applicabilityto many other logical problems, even in our daily life.",
keywords = "Computer algebra systems, Logical reasoning, Mathematica, Symbolic computation, Truth tables",
author = "Andres Iglesias and Robert Ipanaque and Ojeda, {Edgar Johny} and Malaver, {Felipe Wilmer}",
year = "2013",
doi = "10.1109/ICCSA.2013.18",
language = "English",
isbn = "9780769550459",
series = "Proceedings of the 2013 13th International Conference on Computational Science and Its Applications, ICCSA 2013",
publisher = "IEEE Computer Society",
pages = "53--61",
booktitle = "Proceedings of the 2013 13th International Conference on Computational Science and Its Applications, ICCSA 2013",
note = "2013 13th International Conference on Computational Science and Its Applications, ICCSA 2013 ; Conference date: 24-06-2013 Through 27-06-2013",
}