feat(CnfTruthTable): implement readInput method
feat(CnfTruthTable): complete implementation