Задание такое: Написать программу, которая осуществляет переход от ДНФ к табличному заданию.
Как я понял, так:
Пусть ДНФ: 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
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
боюсь, я не совсем поняла проблему
ДНФ не задается пользователем, а известна заранее?
ДНФ задается пользователем. Просто я привел пример
Сильно оптимизировать не стал, иначе в алгоритме будет сложно разобраться... Вот так?
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.
volvo, так! спасибо большое! во всем разобрался!
...
end;
fill_mx(mx, copy(mask, 1, 2), copy(mask, 3, 4));
delete(s, 1, p);
...
Не совсем... Copy получает начальный индекс и количество копируемых символов, то есть не "начиная с 1-го по 2-ой, и начиная с 3-го по 4-ый", а "начиная с первого 2 символа, и с начиная третьего тоже 2 символа"...
Чувствуешь разницу?