переход от ДНФ к табличному виду, Паскаль или Си(++) Опции

[Unknown]

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

Пусть ДНФ: 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 

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

Сообщение отредактировано: volvo - 27.02.2007 4:00

[мисс_граффити]

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