Введение в логику

Упражнение 1:

Номер 1

Решить логическое уравнение 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₁₀

Ответ:

13(0)

Номер 2

Решить логическое уравнение 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₁₀

Ответ:

9(4)

Номер 3

Решить логическое уравнение 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₁₀

Ответ:

6(0)

Номер 4

Решить логическое уравнение 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₁₀

Ответ:

4(0)

Номер 5

Решить логическое уравнение 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₁₀

Ответ:

12(0)

Номер 6

Решить логическое уравнение 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₁₀

Ответ:

13(1)

Упражнение 2:

Номер 1

Решить логическое уравнение 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₁₀

Ответ:

9(1)

Номер 2

Решить логическое уравнение 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₁₀

Ответ:

4(5)

Номер 3

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

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₁₀

Ответ:

14(0)

Номер 4

Решить логическое уравнение 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₁₀

Ответ:

10(0)

Номер 5

Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F:
((x1 ≡ x2) & (x1 ≡ x3)) | ((x1 ≡ x3) & (x1 ≡ x4)) | ((x1 ≡ x2) & (x1 ≡ 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₁₀

Ответ:

8(0)

Номер 6

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

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

Ответ:

14(0)

Упражнение 3:

Номер 1

Решить логическое уравнение 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₁₀

Ответ:

11(1)

Номер 2

Решить логическое уравнение 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₁₀

Ответ:

10(1)

Номер 3

Решить логическое уравнение 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₁₀

Ответ:

5(5)

Номер 4

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

x1 | x2 & x3 ∧ x4 ≡ (!x1 ⇒ !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₁₀

Ответ:

8(1)

Номер 5

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

x1| x2 & x3 ∧ ! 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₁₀

Ответ:

10(0)

Номер 6

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

x1| x2 & x3 ∧ 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(1)

Упражнение 4:

Номер 1

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

(x1 & x2) | (x3 ⇒ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

3(2)

Номер 2

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

(x1 | x2) & (x3 ⇒ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

7(0)

Номер 3

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

(x1 | x2) ∧ (x3 ⇒ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

10(2)

Номер 4

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

(x1 ≡ x2) & (x3 ≡ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

12(1)

Номер 5

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

(x1 ≡ x2) | (x3 ≡ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

4(5)

Номер 6

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

(x1 ⇒ x2) ⇒ (x3 | x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

3(0)

Упражнение 5:

Номер 1

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

(x1 ⇒ x2) & (x3 | x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

7(0)

Номер 2

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

(x1 ∧ x2) & (x3 ∧ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

12(0)

Номер 3

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

(x1 ∧ x2) ⇒ (x3 | x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

2(4)

Номер 4

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

(x1 | x2) ⇒ (x3 ∧ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

6(4)

Номер 5

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

В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д.
При указании набора запишите его как десятичное число.
Пример: Решить уравнение F(x1,x2,x3)=0, 
где F:
x1|x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3.
 Ответ: 3(0) 
Пояснение ответа: уравнение имеет 3 корня. Первый корень  - набор 000₂ = 0₁₀

Ответ:

8(3)

Номер 6

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

(x1 ≡ x2) |(x1 ≡ x3) | (x1 ≡ x4)

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

2(7)

Упражнение 6:

Номер 1

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

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

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

5(0)

Номер 2

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

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

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

6(0)

Номер 3

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

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

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

11(0)

Номер 4

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

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

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

8(0)

Номер 5

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

x1 | x2 & x3 ∧ !x4 ≡ !x1 | x2 & x4

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

6(1)

Номер 6

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

x1| x2 & x3 ∧ x4 ≡ !x1 | x2 & x4

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

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

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

где F:

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

Ответ: 3(0)

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

Ответ:

10(0)

Введение в логику - тест 24