Als Input hab ich eine boolsche Gleichung z.B.:
E1 = a1 && ! a2 || ! a1 && a2

ich möchte jetzt die komplette Wahrheitstabelle in ein 2d Array schreiben. So sollte das dann aussehen ( am besten gleich ein bool Array[][] ):

a1 / a2 / Gleichung_erg

F / F / F
T / F / T
F / T / T
T / T / F

wobei ich jetzt false und true abgekürzt habe!

Natürlich könnte ich das jetzt "per Hand" aufbauen, aber das wird mich nicht weiterbringen da der Nutzer ja verschiedene Gleichungen eingeben kann, die ein Algorithmus dann in eine Wahrheitswertetabelle/Array wandeln soll.

struct boole_func
{
  virtual bool calc(const vector<bool>& args) = 0;
};

class arg : public boole_func
{
  size_t m_num;
public:
  arg(size_t num) : m_num(num) {}
  virtual bool calc(const vector<bool>& args)
  {
    assert(m_num<args.size());
    return args[m_num];
  }
};

...

Als nächstes brauchst du einige Regeln, die in Spirit-EBNF beschreiben, wie eine boolesche Funktion aufgebaut ist - in den eingebauten Aktionen baust du dir dann eine dazu passende boole_func zusammen.
(ich bin ein wenig aus der Übung - schau mal in der Spirit-Doku, wie das auszusehen hat)