@@ -196,7 +196,7 @@ namespace SolveAvdoshin
196196
197197 abstract class BooleanExpression
198198 {
199− public static readonly string[] OpSymbols = new string[] { "0", "↓", "=/>", "(!A)", "</=", "(!B)", "⨁", "|", "&", "==", "(B)", "<=", "(A)", "=>", "|", "1", };
199+ public static readonly string[] OpSymbols = new string[] { "0", "↓", "=/>", "(!A)", "</=", "(!B)", "⨁", "|", "&", "==", "(B)", "<=", "(A)", "=>", "+", "1", };
200200
201201 abstract public byte Eval();
202202 abstract new public string ToString();