Реализовать упрощение логических формул относительно правил преобразования

@Sun- · Регистрация: 03.06.2010

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

Реализовать упрощение логических формул относительно правил преобразования, заданных следующими схемами правил:
NOT NOT множитель => множитель
множитель AND конъюнкция OR множитель => множитель
(конъюнкция OR логическая-формула) AND конъюнкция => конънкция

тут только упрощает not not, но только по-китайски=\

Pascal
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
program log13;
var
s:string;
i,j,l,k:integer;
 
 
procedure delnotnot(var s:string;var l:integer);
var
n,i,j:integer;
s1:string;
begin
  j:=1;
  i:=1;
  while i<=l do
  begin
    if((s[i]='N')and(s[i+1]='O')and(s[i+2]='T')and(s[i+4]='N')and(s[i+5]='O')and(s[i+6]='T')) then
      i:=i+7 else
      begin
    s1[j]:=s[i];
    i:=i+1;
    j:=j+1;
      end;
  end;
  for i:=1 to l do
    s[i]:=' ';
  for i:=1 to j-1 do
    s[i]:=s1[i];
  l:=j-1;
end;
 
 
procedure delprobel(var s:string;var l:integer);
var
s1:string;
i,j:integer;
begin
  j:=1;
  i:=1;
  while(s[i]=' ')do
    i:=i+1;
  while i<=l do
    if (s[i]=' ')and(s[i+1]=' ') then i:=i+1
      else
      begin
    s1[j]:=s[i];
    j:=j+1;
    i:=i+1;
      end;
  for i:=1 to l do
    s[i]:=' ';
  for i:=1 to j-1 do
    s[i]:=s1[i];
  l:=j-1;
end;
 
 
 
 
begin
  readln(s);
  l:=length(s);
  delprobel(s,l);
  delnotnot(s,l);
  delprobel(s,l);
  for i:=1 to l do
  write(s[i]);
end.

логическая переменная - принимает два значения, обозначаемых FALSE и TRUE;
логическая-формула := 1) конъюнкция; 2) конъюнкция OR пробелы логическая формула;
конъюнкция := 1) множитель; 2) множитель AND пробелы конъюнкция;
множитель := 1) NOT пробелы множитель; 2) переменная; 3) (логическая-формула); 4) TRUE пробелы; 5) FALSE пробелы.

@кот Бегемот · 19.06.2010, 01:12

Sun-, а поконкретнее, что за множители?

@Sun- · 19.06.2010, 08:05 **[ТС]**

множитель - обычная формула в исчислении высказываний. http://ru.wikipedia.org/wiki/И... сказываний
вот написал для notnot по нормальнее

Pascal
1
2
3
4
5
6
7
8
9
10
procedure not_not(var s:string);
var
 n,i,j:integer;
begin
 j:=1;
 i:=1;
 while i<=length(s) do
  if copy(s,i,6)='NOTNOT' then delete(s,i,6) else
   i:=i+1;
end;

21.06.2010, 06:27

http://pco.iis.nsk.su/ICP/Prac... node4.html по этой ссылке сама задача под №13, но решения нет

@Sun- · 21.06.2010, 18:16 **[ТС]**

а вот not not удаляет по самому правильному, при условии что приоритет скобок будет слева, т.е. ((((A&B)&C)&D)^E)...

Pascal
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
program logg;
uses CRT;
type class=(con, perem, un, bin);
     operac=(a, o);
     form=^vyraj;
     vyraj=record case CL:class of
        con: (t:boolean);
    perem: (ch:char);
    un: (operand:form);
    bin: (oper: operac;
         left, right: form);
       end;
var
  f: text;
  str:string;
  Mnoj:form;
  k:byte;
 
function readstr_tree(str:String):form;
 var tstr,lstr,rstr:string;
     charr:char;
     fo:form;
     k{dlina stroki},l{raznica v kol-ve ( i )}:integer;
begin
 new(fo);
 if str[1]='-' then
   begin
    fo^.cl:=un;
    tstr:=copy(str,2,length(str)-1); writeln(tstr);
    fo^.operand:=readstr_tree(tstr);
   end;
 k:=1;
 l:=0;
 if str[1]='(' then
   begin
    fo^.cl:=bin;
    while ((str[k]<>'&')  or (l<>0)) and ((str[k]<>'^')  or (l<>0)) do
    begin
     inc(k);
     write(k,' ',str[k],' ');
     if str[k]='(' then inc(l);
     if str[k]=')' then dec(l);
     writeln(l);
    end;
    lstr:=copy(str,2,k-2); writeln(lstr);
    rstr:=copy(str,k+1,length(str)-1-k); writeln(rstr);
    if str[k]='&' then fo^.oper:=a
     else fo^.oper:=o;
    fo^.left:=readstr_tree(lstr);
    fo^.right:=readstr_tree(rstr);
   end;
 if (str='1') or (str='0') then
  begin
   fo^.cl:=con;
   if str='1' then fo^.t:=true
    else fo^.t:=false;
  end;
 if (str[1]>='A') and (str[1]<='Z')
  then
   begin
    fo^.cl:=perem;
    fo^.ch:=str[1];
    charr:='P';
    charr:=fo^.ch;
    writeln(charr);
   end;
  readstr_tree:=fo;
end;
 
procedure inf(tree: form; var str:string);
  var tstr:string;
begin
 tstr:='';
 if tree<>nil then
  begin
   if tree^.cl=un then
    begin
     str:=str+'-';
     inf(tree^.operand, str);
    end;
   if tree^.cl=bin then
    begin
     str:=str+'(';
     inf(tree^.left, tstr);
     str:=str+tstr;
     if (tree^.oper=a) then str:=str+'&'
       else str:=str+'^';
     tstr:='';
     inf(tree^.right, tstr);
     str:=str+tstr+')';
    end;
   if (tree^.cl=perem) then
    begin
     str:=str+tree^.ch;
    end;
   if (tree^.cl=con) then
    if tree^.t then str:=str+'1'
     else str:=str+'0';
  end;
end;
 
procedure notnot(tree: form; var k: byte; var yk: form);
var
 disp: form;
begin
 if tree^.cl=bin then
  begin
   yk:=tree;
   k:=0;
   notnot(tree^.left, k, tree^.left);
   notnot(tree^.right, k, tree^.right);
  end;
 if tree^.cl=un then
  begin
   if k=2 then
    begin
     yk^.operand:=tree^.operand;
     k:=0;
     yk:=tree;
     notnot(tree^.operand, k, yk);
    end;
   if k=1 then
    begin
     inc(k);
     notnot(tree^.operand, k, yk);
    end;
   if k=0 then
    begin
     inc(k);
     notnot(tree^.operand, k, yk);
    end;
  end;
 if tree^.cl=con then
  begin
   if k=2 then
    begin
     k:=0;
     disp:=yk^.operand;
     dispose(disp);
     dispose(yk^.operand);
     yk:=tree;
     notnot(tree, k, yk);
    end;
  end;
  if tree^.cl=perem then
  begin
   if k=2 then
    begin
     k:=0;
     disp:=yk^.operand;
     dispose(disp);
     dispose(yk);
     yk:=tree;
     notnot(tree, k, yk);
    end;
  end;
end;
 
BEGIN
  clrscr;
  assign(f,'input.txt');
  reset(f);
  read(f, str);
  close(f);
  new(mnoj);
  mnoj:=readstr_tree(str);
  str:='';
  inf(mnoj, str);
  writeln(str);
  k:=0;
  writeln('_____________________________');
  notnot(mnoj,k, mnoj);
  str:='';
  inf(mnoj, str);
  writeln(str);
  readln;
END.

,где "-" - NOT, & - AND, ^ - OR.
в файле input.txt лежит ((--A^--(B&-C))&--C)

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@кот Бегемот Платежеспособный зверь 8966 / 4389 / 1655 Регистрация: 28.10.2009 Сообщений: 11,647
	19.06.2010, 01:12
	Sun-, а поконкретнее, что за множители? 0

vladimik
	21.06.2010, 06:27
	http://pco.iis.nsk.su/ICP/Prac... node4.html по этой ссылке сама задача под №13, но решения нет