Truth table description