Пусть база данных включает отношение Счет(Номер,Товар,Дата,Сумма). Укажите, какие из приведенных формул логики предикатов выражают следующее ограничение целостности: атрибут Номер является ключом отношения.

Ф1 = ∀n∃t∃d∃s (Счет (n,t,d,s) →​ ∃t1∃d1∃s1 (Счет (n,t1,d1,s1) →​ (t=t1 ∧ d=d1 ∧ s=s1)))

Ф2 = ∀n∀t∀d∀s∀n1∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ Счет (n1,t1,d1,s1) ∧ (t≠t1 ∨ d≠d1 ∨ s≠s1)) →​ (n ≠ n1))

Ф3 = ∀n∀t∀d∀s∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ (Счет (n,t1,d1,s1)) →​ (t=t1 ∧ d=d1 ∧ s=s1)))

Правильный ответ:

• # Пусть заданы множества A = {0, 1, 2}, B = {2, 3}, C = {a, b, c} и D = {a, c, e}. Чему равно множество F = (A \ B) × (C ∩ D)?
• # Какое из следующих перечислений вершин бинарного дерева T: [Большая Картинка] представляет его обход в обратном (суффиксном) порядке?
• # Какие из следующих формул являются тождественно истинными? ,,,
• # Сколько элементарных конъюнкций входит в сокращенную ДНФ, эквивалентную формуле ((¬ X ∧ ¬ Y) →​ (¬ Z ∨ (¬ X →​ ( Y ∧ Z)) ))
• # Какие из следующих формул задают нелинейные функции: A= (Y →​¬X) →​ Z, B = (X∧ Y∧ Z) ∨ (¬ X∧ ¬Y ) ∨ (X∧ Y∧ ¬ Z), C= ( Z→​ X) ∨Y