Codeforces Hello 2018 E题Logical Expression dp+最短路好题

j题目链接： http://codeforces.com/contest/913/problem/E 题意：给你x,y,z三个变量，与& 或| 非！括号（）四种运算符，规定括号和非优先级最高，其次与&，最后或|。对于输入的真值表，输出最小字典序的逻辑表达式挺难想的。关键点在于怎么定义状态并