public void solveFromTruthTable(boolean ttable[], int nbrVar, String varOrder) {
		Simplification simplify = new Simplification(ttable, nbrVar, varOrder,
				this);
		simplify.launchSimplification(Type.TRUTH_TABLE);
		program.createTree(1);
		showSolution();

	}