? A (x)}
Побудуємо граф виведення порожній резольвенти:
Малюнок 8 -Граф виведення порожній резольвенти
2.2 Виконати завдання з алгебри предикатів і обчисленню предикатів:
F="x (A (x)? B (x)) amp; $ y (B (x)? C (y)) amp; $ z (C (y)? D ( z))
Привести вираз до виду ПНФ
F="x (A (x)? B (x)) amp; $ y (B (x)? C (y)) amp; $ z (C (y)? D ( z))=
="v (? A (x) VB (x)) amp; $ y (? B (x) VC (y)) amp; $ z (? C (y) VD (z ))=
="v $ w $ z ((? A (v) VB (v)) amp; (? B (x) VC (w)) amp; (? C (y) VD ( z))
Привести вираз до виду ССФ
Для приведення до виду ССФ скористаємося алгоритмом Сколема, тому будуть проведені наступні заміни:
v=a, де a - предметна постійна
w=b, де b - предметна постійна
t=c, де c - предметна постійна
В результаті вийде такий вираз:
F=((? A (F (v)) VB (F (v))) amp; (? B (x) VC (n)) amp; (? C (y) VD (F (v)))
Довести істинність висновку методом дедуктивного виводу (з побудовою графа дедуктивного виводу):
F="x (A (x)? B (x)) amp; $ y (B (x)? C (y)) amp; $ z (C (y)? D ( z))
Якщо A=B=C=D=1=B=C=D=0=0, B=1, C=1, D=1=0, B=0, C=1 , D=1=0, B=0, C=0, D=1, то F=1
Довести істинність висновку методом резолюції (з побудовою графа виведення порожній резольвенти)
F="x (A (x)? B (x)) amp; $ y (B (x)? C (y)) amp; $ z (C (y)? D ( z))
Якщо A=B=C=D=1=B=C=D=0=0, B=1, C=1, D=1=0, B=0, C=1 , D=1=0, B=0, C=0, D=1, то F=1
3 Реляційна алгебра
3.1 Виконати наступні бінарні операції і скласти результуючі таблиці.
1) (r1? r2)
) (r1? r2)
) (r1 r2)
) Виконати задану композицію операцій
Таблиця 3 - Таблиця відносини r1
А1А2А5А6a3 b434а4 b141a2b232a3 b321
Таблиця 4 Таблиця відносини r2
А1А2А5А6a1 b212a2 b323a2 b232a3b321
Таблиця 5 - Об'єднання r1 і r2
А1А2А5А6a3 b434а4 b141a2b232a3 b321a1 b212
Таблиця 6 - Перетин r1 і r2
A1A2A5A6a2 b232a3b321
Таблиця 7 - Вирахування з r1 r2
А1А2А5А6a3 b434а4 b141
r1 gt; q lt; r2, r1A5=r2A6
Таблиця 8- Тета з'єднання r1 і r2
r1.А1r1.А2r1.А5r1.А6r2.А1r2.А2r2.А5r2.А6a3 b434a2 b323a2b232a2 b323a3 b321a1 b212a3 b321a2 b232
? (r1A1, r1 А2, r1А5, r2А6) (r1 gt; q lt; r2, r1A5=r2A6)
Таблиця 9 - Проекція відносин r1 і r2
r1.А1r1.А2r1.А5r2.А6a3 b433a2b233a3 b322a3 b322
3.2 Виконати наступні бінарні операції і скласти результуючі таблиці
1) (r1? r2)
) (r1? r2)
) (r1 r2)
Таблиця 10 - Таблиця відносини r1
A3A4A7A8 c1 d212 c1d223c1d121c2d214
Таблиця 11 Таблиця відносини r2
A3A4A7A8C3D434c4d141c1d121c2d214
Таблиця 12 - Об'єднання r1 і r2
A3A4A7A8 c1 d212 c1d223 c1d121c2d214c3d434c4d141
Таблиця 13 - Перетин r1 і r2
A3A4A7A8c1d121c2d214
Таблиця 14 - Вирахування з r1 r2
A3A4A7A8 c1 d212 c1d223
4) r1 gt; q lt; r2, d (A7 gt;=2), r1.A7=r2.A7=A7
Таблиця 15- Тета з'єднання r1 і r2
r1.А3r1.А4r1.А7r1.А8r2.А3r2.А4r2.А7r2.А8 c1 d212c2d214 c1d223c1d121c1d121c1d121c2d214c2d214
d ((r1 gt; q lt; r2 r1.A7=r2.A7=A7 d (r1.A3)=c1)
Таблиця 16 - Таблиця вибору кортежів r1 і r2
r1.А3r1.А4r1.А7r1.А8c1 d123c1 d123c1 d123c1 d121c1 d121c1 d121
Висновок
доказ істинність дедуктивний бінарний
Разом з розвитком обчислювальних систем, стрімко розвиваються й інші галузі цифрового світу. З кожним днем ??цифрові технології все більше входять у наше життя. І вже складно уявити собі навколишній світ без...
