326     // Initialize the embedded Python interpreter and load the module
327     Py_Initialize();
328     PyObject* logic = PyImport_Import(PyString_FromString((char*)"sympy.logic"));
329     PyObject* simplify_logicF = PyObject_GetAttrString(logic, (char*)"simplify_logic");
330
331     // Invoke simplify_logic
332     //PyObject * result = PyObject_CallFunction(simplify_logicF, (char*)"n1&n1");
333     PyObject* argument = PyTuple_New(1);
334     PyTuple_SetItem(argument, 0, PyString_FromString("n1&n1"));
335     PyObject* result = PyObject_CallObject(simplify_logicF, argument);
336     cout << PyString_AsString(result);
337     exit(0);