The short truth table method and its complexityтезисы доклада