Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F:

x1 | x2 & (x3 ∧ !x1 ⇒ x4) ≡ !x1 | x2 & x4

В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д.

При указании набора запишите его как десятичное число.

Пример: Решить уравнение F(x1,x2,x3) = 1,

где F:

x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3.

Ответ: 5(2)

Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 010₂ = 2₁₀

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

• # Какие утверждения об отношениях и функциях являются истинными?
• # Какой из разделов математической логики позволяет формализовать рассуждения, учитывающие возможность появления событий?
• # Какое отношение является функцией?
• # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоны Фам Имя Отч пол Год рожд.1 Соколов Петр Николаевич муж 19602 Соколова Анна Петровна жен 19613 Соколов Николай Петрович муж 19824 Соколов Антон Петрович муж 19885 Соколова Елена Петровна жен 19846 Чижиков Сергей Юрьевич муж 19597 Самохина Татьяна Александровна жен 19608 Чижикова Любовь Сергеевна жен 19819 Чижикова Нина Сергеевна жен 198510 Чижиков Василий Сергеевич муж 198311 Чижиков Николай Васильевич муж 200312 Чижиков Владимир Васильевич муж 200513 Некто Олег Олегович муж 1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьи ID мужа ID жены11 1 212 6 713 10 5 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьи ID ребенка1 31 41 52 82 92 103 113 12 Сколько племянников у Соколова Николая Петровича?
• # Сколько существует различных логических функций от четырех переменных?