Разбор булевого выражения

@Gregory664 · Регистрация: 26.04.2015

Студворк — интернет-сервис помощи студентам

Доброго времени суток! Очень сильно требуется ваша помощь!
Подскажите пожалуйста, как сделать разбор булевого выражения.
Входная строка должна иметь вид, типа: not(T and F) or T, где T-истина(1), F-ложь(0).

Имеется рабочий парсер для числовых выражений, понимаю как он работает, но переделать его не получается.
Буду очень благодарен вам за помощь! (=

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
class Parser
    {
        Dictionary<string, Func<Node>> functions;
        Node root;
 
        //public string error;
 
        public Parser()
        {
            functions = new Dictionary<string, Func<Node>>
            {
                { "cos", () => new Cos() },
                { "sin", () => new Sin() },
                { "ln", () => new Ln() },
                { "lg", () => new Lg() },
                { "sqrt", () => new Sqrt() }             
            };
        }
 
        public string Result(string str)
        {
            //error = "";
            str = str.Trim();
            root = Expression(str);
            string res = root.Value().ToString();
            return res;
        }
 
        Node Expression(string strTemp)
        {
            try
            {
                int i = 0, p = -1;
                while (i < strTemp.Length)
                {
                    if (strTemp[i] == '(')
                    {
                        i = Brackets(strTemp, i);
                        continue;
                    }
                    if (strTemp[i] == '+' && strTemp[i + 1] != '+' && strTemp[i + 1] != '-')
                    {
                        if (strTemp.Substring(0, i) == "")
                        {
                            i++;
                            continue;
                        }
                        Node rt = new Plus();
                        rt.Left = Expression(strTemp.Substring(0, i));
                        rt.Rigth = Expression(strTemp.Substring(i + 1, strTemp.Length - (i + 1)));
                        return rt;
                    }
                    if (strTemp[i] == '-')
                        p = i;
                    i++;
                }
                if (p > 0)
                {
                    Node rt = new Min();
                    rt.Left = Expression(strTemp.Substring(0, p));
                    rt.Rigth = Expression(strTemp.Substring(p + 1, strTemp.Length - (p + 1)));
                    return rt;
                }
                return Term(strTemp);
            }
            catch
            {
                throw new Exception("Введена некорректная строка");
                //error = "Введена некорректная строка";
                //return null;
            }
        }
 
        Node Term(string strTemp)
        {
            try
            {
                int i = 0, p = -1;
                while (i < strTemp.Length)
                {
                    if (strTemp[i] == '(')
                    {
                        i = Brackets(strTemp, i);
                        continue;
                    }
                    if (strTemp[i] == '*')
                    {
                        Node rt = new Mult();
                        rt.Left = Expression(strTemp.Substring(0, i));
                        rt.Rigth = Expression(strTemp.Substring(i + 1, strTemp.Length - (i + 1)));
                        return rt;
                    }
                    if (strTemp[i] == '/')
                        p = i;
                    i++;
                }
                if (p >= 0)
                {
                    Node rt = new Div();
                    rt.Left = Expression(strTemp.Substring(0, p));
                    rt.Rigth = Expression(strTemp.Substring(p + 1, strTemp.Length - (p + 1)));
                    return rt;
                }
                return Factor(strTemp);
            }
            catch
            {
                throw new Exception("Введена некорректная строка");
                //error = "Введена некорректная строка";
                //return null;
            }
        }
 
        Node Factor(string strTemp)
        {
            try
            {
                if ((strTemp[0] >= 'a') && (strTemp[0] <= 'z'))
                {
                    for (int j = 2; j <= 4; j++)
                    {
                        if ((j <= strTemp.Length) && (functions.ContainsKey(strTemp.Substring(0, j))))
                        {
                            Node rt = functions[strTemp.Substring(0, j)]();
                            rt.Left = Expression(strTemp.Substring(j, strTemp.Length - (j)));
                            return rt;
                        }
                    }
                }
                if (strTemp[0] == '(' && strTemp[strTemp.Length - 1] == ')')
                {
                    if (strTemp[1] == '+' || strTemp[1] == '-')
                    {
                        strTemp = strTemp.Remove(0, 1);
                        Node rt = new Const(Convert.ToDouble(strTemp = strTemp.Remove(strTemp.Length - 1)));
                        return rt;
                    }
                    if (strTemp.Contains("^"))
                    {
                        int i = strTemp.IndexOf('^');
                        if (strTemp[i - 1] == ')')
                        {
                            strTemp = strTemp.Remove(i - 1, 1);
                            i--;
                        }
                        if (strTemp[i + 1] == '(')
                            strTemp = strTemp.Remove(i + 1, 1);
                    }
                    strTemp = strTemp.Remove(0, 1);
                    return Expression(strTemp = strTemp.Remove(strTemp.Length - 1));
                }
                if (strTemp.Contains("^"))
                {
                    int i = strTemp.IndexOf('^');
                    Node rt = new Pow();
                    rt.Left = Expression(strTemp.Substring(0, i));
                    rt.Rigth = Expression(strTemp.Substring(i + 1, strTemp.Length - (i + 1)));
                    return rt;
                }
                Node node = new Const(Convert.ToDouble(strTemp));
                return node;
            }
            catch
            {
                throw new Exception("Введена некорректная строка");
                //error = "Введена некорректная строка";
                //return null;
            }
        }
 
        int Brackets(string strTemp, int i)
        {
            try
            {
                int a = 0;
                do
                {
                    if (strTemp[i] == '(')
                        a++;
                    if (strTemp[i++] == ')')
                        a--;
                } while (a != 0);
                return i;
            }
            catch
            {
                throw new Exception("Введена некорректная строка");
                //error = "Введена некорректная строка";
                //return -1;
            }
        }
    }

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
abstract class Node
    {
        protected Node left;
        protected Node rigth;
        public Node Left
        {
            set
            {
                left = value;
            }
        }
        public Node Rigth
        {
            set
            {
                rigth = value;
            }
        }
        public abstract double Value();
    }
 
    class Plus : Node
    {
        public override double Value()
        {
            return left.Value() + rigth.Value();
        }
    }
 
    class Min : Node
    {
        public override double Value()
        {
            return left.Value() - rigth.Value();
        }
    }
 
    class Div : Node
    {
        public override double Value()
        {
            double x = rigth.Value();
            if (x != 0)
            {
                return left.Value() / x;
            }
            else
            {
                throw new Exception("Ошибка! Деление на ноль!");
                //Parser.error = "Ошибка! Деление на ноль!";
                //return 1;
            }
        }
    }
 
    class Mult : Node
    {
        public override double Value()
        {
            return left.Value() * rigth.Value();
        }
    }
 
    class Cos : Node
    {
        public override double Value()
        {
            return Math.Cos(left.Value());
        }
    }
 
    class Sin : Node
    {
        public override double Value()
        {
            return Math.Sin(left.Value());
        }
    }
 
    class Ln : Node
    {
        public override double Value()
        {
            double x = left.Value();
            if (x > 0)
            {
                return Math.Log(x);
            }
            else
            {
                throw new Exception("Ошибка! Логарифм из отрицательного числа!");
                //Parser.error = "Ошибка! Логарифм из отрицательного числа!";
                //return 1;
            }
        }
    }
 
    class Lg : Node
    {
        public override double Value()
        {
            double x = left.Value();
            if (x > 0)
            {
                return Math.Log10(x);
            }
            else
            {
                throw new Exception("Ошибка! Логарифм из отрицательного числа!");
                //Parser.error = "Ошибка! Логарифм из отрицательного числа!";
                //return 1;
                
            }
        }
    }
 
    class Pow : Node
    {
        public override double Value()
        {
            double x = left.Value();
            return Math.Pow(x, rigth.Value());
        }
    }
 
    class Sqrt : Node
    {
        public override double Value()
        {
            double x = left.Value();
            if (x >= 0)
            {
                return Math.Sqrt(x);
            }
            else
            {
                throw new Exception("Квадратный корень из отрицательного числа");
                //Parser.error = "Квадратный корень из отрицательного числа";
                //return 1;
            }
        }
    }
 
    class Const : Node
    {
        double a;
        public Const(double a)
        {
            this.a = a;
        }
        public override double Value()
        {
            return a;
        }
    }

@ViterAlex · 26.04.2015, 18:22

Сообщение от Gregory664

понимаю как он работает

Уже хорошо. Нужно заменить арифметические действия на логические

@Gregory664 · 26.04.2015, 18:48 **[ТС]**

Всем спасибо, задача решена)

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@Gregory664 0 / 0 / 0 Регистрация: 26.04.2015 Сообщений: 4
	26.04.2015, 18:48 [ТС]
	Всем спасибо, задача решена) 0