Расчетно-графическая работа

Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов.

Вариант	Формула
1	x(A(x) B(y))y(B(y) A(x))
2	x( A(x)x( C(x)))x((C(x)A(x))
3	x(A(x)x(B(x)))y( A(x) C(y)C(y)B(x))
4	x(A(x)x(B(y)))x( A(x) B(y))
5	x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))
6	x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))
7	x(A(x)B(z))y(C(y)A(x))z(C(y)B(z))
8	x(A(x)B(y))y((C(y)A(x))(C(y)y(B(y)))
9	x(A(x)B(y))y(A(x)(B(y)C(z)))(A(x)z(C(z)))
10	x(A(x)B(y)A(x)y(B(y)C(z)))(A(x)z(C(z)))
11	x(A(x)z(B(y)C(z)))y(B(y)(A(x)C(z)))
12	(x(A(x))x(B(x)))z((B(x)C(z))(A(x)C(z)))
13	(x( A(x))x( B(x)))( B(x)A(x))
14	(x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))
15	x( A(x)y(B(y)))( B(y)A(x))
16	(x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))
17	x( A(x)y(B(y)))(B(y)A(x))
18	x( A(x)y( B(y)))(B(y)A(x))
19	x(A(x)B(x))y(B(x)C(y)z(C(y)D(z)))
20	(x(A(x)B(x))z(C(z)A(x)))y(C(z)B(y))
21	(x(B(x)y(A(y)))(y(B(y)(A(x)C(z))))z(C(z))
22	x(B(x))y(A(y)B(x))
23	x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))
24	x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)))
25	x(A(x)B(z))y(C(y)A(x)z(C(y)B(z)))
26	(x(B(x))x(A(x)))(A(y)yC(y))( A(x)C(y))
27	(x(A(x))x(B(x)))y((A(x)C(y))(B(x)C(y)))
28	x(A(x)y(B(y)))( A(x)y(B(y)))B(y)
29	x(A(x)y(B(y)))( A(x)B(x))B(x)
30	x( A(x))(A(x)y(B(y)))
31	(x(B(x))x(A(x)))( B(x)A(x))A(x)
32	(x(B(x))x(C(x)))(A(y)B(x)A(y)C(x))
33	x(A(x)B(y))yz((C(z)A(x))(C(z)B(y)))
34	(x(A(x))x(C(x)))y(C(x)B(y))(A(x)B(y))
35	x(A(x))y(B(y))y(C(y)xD(x))(A(x)C(y)) D(y))
36	x(A(x))( A(x)y(B(y)))
37	x(B(x))y(A(y)B(x))
38	x(B(x)y(A(y)))y(B(y)(A(x)C(z)))z(B(z) C(z))
39	x(B(x)A(y))(B(x)y(A(y)C(z)))z(B(x)C(z))
40	x(A(x)B(x))y((C(y)A(x))(C(y)B(x)))
41	(x( A(x)y( C(y)))(C(x)A(x))
42	x(A(x) B(y))y(B(y) A(x))
43	x(A(x)B(z))y((C(y)A(x))z(C(y)B(z)))
44	x(A(x)B(y))z(C(z)A(x))y(C(z)B(y))
45	x(A(x)B(x))y(B(x)C(y))z(C(y)D(z)))
46 46	x( A(x)y( B(y)))(B(x)A(x))
47	x( A(x)x(B(x)))(B(x)A(x))
48	(x(B(x)y(A(y))))y(A(x)C(y)) C(y)B(x)
49	(x( A(x)y(B(y))))( B(x)A(x))
50	x(A(x)B(y))y(A(x)(B(y)C(z)))z(A(x)C(z))

Литература

1. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988г. – 384 с.

2. Войшвилло Е.К., Дектярев М.Г. Логика как часть теории познания и научной методологии. кн.1. Учебное пособие. –М.: Наука, 1994г. –312с.

3. Зегет В. Элементарная логика. - М.: Высшая школа, 1985г..- 256 с.

4. Кириллов В.И., Старченко А.А. Логика. - М.: Высшая школа, 1987г.– 271с.

5. Kузнецов О.П., Андельсон-Вельский Г.М. Дискретная матема­тика. для инженера.- М.: Энергоатомиздат, 1988г.—480 с.

6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, матeмaтичecкoй логике и теории алгоритмов 240с.

7. ЛихтарниковЛ.М., Сукачева Т.Г. Математическая логика /курс лекций/ - СПб.: “Лань”, 1998г..-288с.

8. Першиков В.И., Савинков В.М. Толковый словарь по информатике – М.: Финансы и статистика, 1991г. –543с.

9. Пономарев В.Ф. Математические методы и модели в обработке информации и управлении. Методические разработки по разделу “Формальные системы”- Калининград: КГТУ, 1992г..

10. Роберт P. Столл. Множества. Логика. Аксиоматические теории.- М.: Просвещение, 1968. – 231 с.

Предметный указатель

Аксиомы исчисления высказываний, 45, 49

Алгебра высказываний, 7

Алгебра предикатов, 92