public static String writeTruthTable(TruthTable tb, int nombreVars,
			String ordrVars) {
		StringBuffer s = new StringBuffer("");
		int width = nombreVars * 50;
		s.append("<div id=\"cent\" align=\"center\">");
		s.append("<h3 class =\"subsubTitle2\">"
				+ Tools.getLocalizedString("TRUTH_TABLE.Name") + " :" + "</h3>");
		s.append("<table width=\"" + width + "\" id=\"table1\" rules=\"all\">");
		s.append("<tr>");
		for (int i = 0; i < nombreVars; i++) {
			s.append("<th>" + ordrVars.charAt(i) + "</th>");
		}
		s.append("<th>S</th>");
		s.append("</tr>");
		for (int i = 0; i < tb.TruthTable.length; i++) {
			s.append("<tr>");
			for (int j = 0; j < nombreVars + 1; j++) {
				if (j == nombreVars) {
					if (tb.TruthTable[i])
						s.append("<td class=\"ones\">1</td>");
					else
						s.append("<td>0</td>");
				} else {
					if ((i % ((int) Math.pow(2, nombreVars - j))) < ((int) Math
							.pow(2, nombreVars - j - 1)))
						s.append("<td>0</td>");
					else
						s.append("<td>1</td>");
				}
			}
			s.append("</tr>");
		}
		s.append("</table>");
		s.append("</div>");
		return s.toString();
	}