|
1 |
Разработать
синтаксический анализатор формулы
исчисления высказываний. |
|
2 |
Разработать
синтаксический анализатор формулы
исчисления предикатов первого порядка. |
|
3 |
Дана
произвольная формула исчисления
высказываний. Преобразовать ее в
конъюнктивную нормальную форму. |
|
4 |
Дана
произвольная формула исчисления
высказываний. Преобразовать ее в
дизъюнктивную нормальную форму. |
|
5 |
Дана
формула исчисления высказываний в
дизъюнктивной нормальной форме.
Преобразовать ее в конъюнктивную
нормальную форму. |
|
6 |
Дана
произвольная формула исчисления
предикатов первого порядка. Преобразовать
ее в конъюнктивную нормальную форму. |
|
7 |
Дана
формула исчисления предикатов первого
порядка в конъюнктивной нормальной
форме. Преобразовать ее в пренексную
нормальную форму. |
|
8 |
Дана
произвольная формула исчисления
предикатов первого порядка. Преобразовать
ее в дизъюнктивную нормальную форму. |
|
9 |
Дана
формула исчисления предикатов первого
порядка в дизъюнктивной нормальной
форме. Преобразовать ее в пренексную
нормальную форму. |
|
10 |
Дана
формула исчисления предикатов первого
порядка, представленная в пренексной
нормальной форме. Преобразовать ее
в сколемовскую стандартную форму. |
