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

(x1 ⇒ x2) & (x3 | 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₁₀

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

• # Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?
• # Число различных логических функций, зависящих от n переменных конечно, но резко возрастает с ростом n. Это число можно представить как 2 в степени k. Чему равна степень k в случае логических функций от четырех переменных?
• # Примените метод вывода полной индукции для ответа на вопрос "Сколько палиндромных чисел в диапазоне [10,50]?"
• # Какая из следующих бинарных логических функций принимает значение истина, если ее первый аргумент ложен?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – импликацией и дизъюнкцией.