P6781[Ynoi2008]rupq线段树上维护这种括号序列，如果信息可差分是好做的，但现在只能合并。先说如何合并信息。max是简单的。至于nand，不需要考虑结合律，只要维护一个bool[32][2]表示当某一位的第一个操作数是0/1时，经过它们的传递、运算的结果是什么。见于P2114[NOI2014]