Для того чтобы определить, в скольких из всех возможных значений пяти переменных x, y, z, w, e результаты функций F1 и F2 будут отличаться друг от друга, нужно составить таблицы истинности для обоих функций и сравнить их значения.
Начнем с функции F1:
F1=(¬y∨(y∧¬z)∧(y∨¬e))→(x∧w∨¬w∧x)
Составим таблицу истинности для F1, где каждой переменной x, y, z, w, e будут присвоены все возможные значения (0 или 1):
|x|y|z|w|e|F1 |
|-|-|-|-|-|---|
|0|0|0|0|0| ? |
|0|0|0|0|1| ? |
|0|0|0|1|0| ? |
|0|0|0|1|1| ? |
|0|0|1|0|0| ? |
|0|0|1|0|1| ? |
|0|0|1|1|0| ? |
|0|0|1|1|1| ? |
|0|1|0|0|0| ? |
|0|1|0|0|1| ? |
|0|1|0|1|0| ? |
|0|1|0|1|1| ? |
|0|1|1|0|0| ? |
|0|1|1|0|1| ? |
|0|1|1|1|0| ? |
|0|1|1|1|1| ? |
|1|0|0|0|0| ? |
|1|0|0|0|1| ? |
|1|0|0|1|0| ? |
|1|0|0|1|1| ? |
|1|0|1|0|0| ? |
|1|0|1|0|1| ? |
|1|0|1|1|0| ? |
|1|0|1|1|1| ? |
|1|1|0|0|0| ? |
|1|1|0|0|1| ? |
|1|1|0|1|0| ? |
|1|1|0|1|1| ? |
|1|1|1|0|0| ? |
|1|1|1|0|1| ? |
|1|1|1|1|0| ? |
|1|1|1|1|1| ? |
Теперь нужно заполнить значения функции F1 для каждой строки таблицы.
Для этого воспользуемся логическими операциями и правилами логики:
F1=(¬y∨(y∧¬z)∧(y∨¬e))→(x∧w∨¬w∧x)
1. Посчитаем часть выражения (¬y∨(y∧¬z)∧(y∨¬e)):
- Если y = 0, то ¬y = 1.
- Если y = 1 и z = 0, то (y∧¬z) = 1.
- Если y = 1 и e = 0, то (y∨¬e) = 1.
- В остальных случаях (¬y∨(y∧¬z)∧(y∨¬e)) = 0.
2. Посчитаем часть выражения (x∧w∨¬w∧x):
- Если w = 0, то (x∧w∨¬w∧x) = x.
- Если w = 1, то (x∧w∨¬w∧x) = x∧¬w.
3. Посчитаем результат:
- Если (¬y∨(y∧¬z)∧(y∨¬e)) = 1 и (x∧w∨¬w∧x) = 1, то F1 = 1.
- В остальных случаях F1 = 0.
Теперь заполним таблицу истинности для F1:
|x|y|z|w|e|F1 |
|-|-|-|-|-|---|
|0|0|0|0|0| ? |
|0|0|0|0|1| ? |
|0|0|0|1|0| ? |
|0|0|0|1|1| ? |
|0|0|1|0|0| ? |
|0|0|1|0|1| ? |
|0|0|1|1|0| ? |
|0|0|1|1|1| ? |
|0|1|0|0|0| ? |
|0|1|0|0|1| ? |
|0|1|0|1|0| ? |
|0|1|0|1|1| ? |
|0|1|1|0|0| ? |
|0|1|1|0|1| ? |
|0|1|1|1|0| ? |
|0|1|1|1|1| ? |
|1|0|0|0|0| ? |
|1|0|0|0|1| ? |
|1|0|0|1|0| ? |
|1|0|0|1|1| ? |
|1|0|1|0|0| ? |
|1|0|1|0|1| ? |
|1|0|1|1|0| ? |
|1|0|1|1|1| ? |
|1|1|0|0|0| ? |
|1|1|0|0|1| ? |
|1|1|0|1|0| ? |
|1|1|0|1|1| ? |
|1|1|1|0|0| ? |
|1|1|1|0|1| ? |
|1|1|1|1|0| ? |
|1|1|1|1|1| ? |
Теперь перейдем к функции F2:
F2=((¬x∨¬y∨¬z)∧(x∨y∧z))∧(¬w∨(е∧w∨w∧¬е))
Составим таблицу истинности для F2, где каждой переменной x, y, z, w, e будут присвоены все возможные значения (0 или 1):
|x|y|z|w|e|F2 |
|-|-|-|-|-|---|
|0|0|0|0|0| ? |
|0|0|0|0|1| ? |
|0|0|0|1|0| ? |
|0|0|0|1|1| ? |
|0|0|1|0|0| ? |
|0|0|1|0|1| ? |
|0|0|1|1|0| ? |
|0|0|1|1|1| ? |
|0|1|0|0|0| ? |
|0|1|0|0|1| ? |
|0|1|0|1|0| ? |
|0|1|0|1|1| ? |
|0|1|1|0|0| ? |
|0|1|1|0|1| ? |
|0|1|1|1|0| ? |
|0|1|1|1|1| ? |
|1|0|0|0|0| ? |
|1|0|0|0|1| ? |
|1|0|0|1|0| ? |
|1|0|0|1|1| ? |
|1|0|1|0|0| ? |
|1|0|1|0|1| ? |
|1|0|1|1|0| ? |
|1|0|1|1|1| ? |
|1|1|0|0|0| ? |
|1|1|0|0|1| ? |
|1|1|0|1|0| ? |
|1|1|0|1|1| ? |
|1|1|1|0|0| ? |
|1|1|1|0|1| ? |
|1|1|1|1|0| ? |
|1|1|1|1|1| ? |
Теперь нужно заполнить значения функции F2 для каждой строки таблицы.
Для этого воспользуемся логическими операциями и правилами логики:
F2=((¬x∨¬y∨¬z)∧(x∨y∧z))∧(¬w∨(е∧w∨w∧¬е))
1. Посчитаем часть выражения (¬x∨¬y∨¬z):
- Если x = 0, то ¬x = 1.
- Если y = 0, то ¬y = 1.
- Если z = 0, то ¬z = 1.
- В остальных случаях (¬x∨¬y∨¬z) = 0.
2. Посчитаем часть выражения (x∨y∧z):
- Если y = 1 и z = 1, то (y∧z) = 1.
- В остальных случаях (x∨y∧z) = x.
3. Посчитаем часть выражения (¬w∨(е∧w∨w∧¬е)):
- Если w = 0, то (¬w∨(е∧w∨w∧¬е)) = 1.
- Если w = 1 и е = 0, то (е∧w∨w∧¬е) = 1.
- В остальных случаях (¬w∨(е∧w∨w∧¬е)) = ¬w.
4. Посчитаем результат:
- Если ((¬x∨¬y∨¬z)∧(x∨y∧z)) = 1 и (¬w∨(е∧w∨w∧¬е)) = 1, то F2 = 1.
- В остальных случаях F2 = 0.
Теперь заполним таблицу истинности для F2:
|x|y|z|w|e|F2 |
|-|-|-|-|-|---|
|0|0|0|0|0| ? |
|0|0|0|0|1| ? |
|0|0|0|1|0| ? |
|0|0|0|1|1| ? |
|0|0|1|0|0| ? |
|0|0|1|0|1| ? |
|0|0|1|1|0| ? |
|0|0|1|1|1| ? |
|0|1|0|0|0| ? |
|0|1|0|0|1| ? |
|0|1|0|1|0| ? |
|0|1|0|1|1| ? |
|0|1|1|0|0| ? |
|0|1|1|0|1| ? |
|0|1|1|1|0| ? |
|0|1|1|1|1| ? |
|1|0|0|0|0| ? |
|1|0|0|0|1| ? |
|1|0|0|1|0| ? |
|1|0|0|1|1| ? |
|1|0|1|0|0| ? |
|1|0|1|0|1| ? |
|1|0|1|1|0| ? |
|1|0|1|1|1| ? |
|1|1|0|0|0| ? |
|1|1|0|0|1| ? |
|1|1|0|1|0| ? |
|1|1|0|1|1| ? |
|1|1|1|0|0| ? |
|1|1|1|0|1| ? |
|1|1|1|1|0| ? |
|1|1|1|1|1| ? |
Теперь сравним значения функций F1 и F2 в каждой строке таблицы истинности.
Если значения функций будут отличаться хотя бы в одной строке, то результаты функций F1 и F2 будут отличаться друг от друга в некоторых значениях переменных x, y, z, w, e.
Таким образом, для того чтобы ответить на вопрос, в скольких из всех возможных значений пяти переменных x, y, z, w, e результаты функций F1 и F2 будут отличаться друг от друга, нужно проанализировать таблицы истинности для обеих функций и проверить, в каких строках значения функци