Unravelling the Hidden Truth within Logical Statements: A Computer Tool. - Andrés Iglesias 001; Robert Ipanaqué; Edgar Johny Ojeda; Felipe Wilmer Malaver (ICCSA (6), 2013)