Agregamos tests para la clase TruthTableReader en Main