Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Ада и другие языки _ переход от ДНФ к табличному виду

Автор: Unknown 27.02.2007 3:42

Задание такое: Написать программу, которая осуществляет переход от ДНФ к табличному заданию.
Как я понял, так:

Пусть ДНФ: f=A*/B+/A*/C*/D+B*/C*D, где + - дизъюнкция, * - конъюнкция, / - отрицание.
Тогда таблица получится такой:

CD  00  01  11  10
AB
00 1 0 0 0
01 1 1 0 0
11 0 1 0 0
10 1 1 1 1


Каким образом это сделать?..
Можно таблицу представить как array[1..2,1..2] of array[1..2,1..2] of boolean, и получится она немного другой:

CD   00  01  10  11
AB
00 1 0 0 0
01 1 1 0 0
10 1 1 1 1
11 0 1 0 0


Сорри за таблички... никак не могу их нормально выровнять...

Автор: мисс_граффити 27.02.2007 3:48

боюсь, я не совсем поняла проблему sad.gif
ДНФ не задается пользователем, а известна заранее?

Автор: Unknown 27.02.2007 3:56

ДНФ задается пользователем. Просто я привел пример

Автор: volvo 27.02.2007 5:06

Сильно оптимизировать не стал, иначе в алгоритме будет сложно разобраться... Вот так?

function fromdec(n, radix: longint): string;
var
s: string;
const
digit: string[16] = '0123456789ABCDEF';
begin
s := '';
repeat
s := digit[(n mod radix) + 1] + s;
n := n div radix;
until n = 0;

while length(s) < 2 do s := '0' + s;
fromdec := s;
end;

const
s: string = 'A*/B+/A*/C*/D+B*/C*D';
type
tmatrix = array[0 .. 3, 0 .. 3] of 0 .. 1;


function matches(s, mask: string): boolean;
var i: integer;
begin
matches := true;
for i := 1 to length(s) do begin

if (mask[i] = 'X') or (s[i] = mask[i]) then {}
else matches := false

end;
end;

procedure print_mx(const mx: tmatrix);
var i, j: integer;
begin
for i := 0 to 3 do begin
for j := 0 to 3 do write(mx[i, j]:3);
writeln;
end;
end;

procedure fill_mx(var mx: tmatrix;
first, second: string);
var i, j: integer;
begin
for i := 0 to 3 do
for j := 0 to 3 do

if matches(fromdec(i, 2), first) and matches(fromdec(j, 2), second)
then mx[i, j] := 1;

end;


var
mx: tmatrix;
p, i: integer;
mask, sub_s: string;

begin
s := s + '+';
repeat
p := pos('+', s);
if p > 0 then begin

sub_s := copy(s, 1, p-1);
mask := '';

for i := 1 to 4 do mask := mask + 'X';

for i := 1 to length(sub_s) do begin

if sub_s[i] in ['A' .. 'D'] then
if (i > 1) and (sub_s[i - 1] = '/') then
mask[ord(sub_s[i]) - ord('A') + 1] := '0'
else
mask[ord(sub_s[i]) - ord('A') + 1] := '1';

end;

fill_mx(mx, copy(mask, 1, 2), copy(mask, 3, 2));
delete(s, 1, p);

end;
until p = 0;
print_mx(mx);
end.


Автор: Unknown 3.03.2007 19:53

volvo, так! спасибо большое! во всем разобрался!

      ...
end;

fill_mx(mx, copy(mask, 1, 2), copy(mask, 3, 4));
delete(s, 1, p);
...

Здесь должно быть так, правильно?

Автор: Алена 3.03.2007 20:25

Не совсем... Copy получает начальный индекс и количество копируемых символов, то есть не "начиная с 1-го по 2-ой, и начиная с 3-го по 4-ый", а "начиная с первого 2 символа, и с начиная третьего тоже 2 символа"...

Чувствуешь разницу?