Главная / Банк задач. Информатика. / Логика и истинные наборы. Решения.

Логика и истинные наборы. Решения.

 

 

№1  Логическая функция F задается выражением

(x /\ y/\z/\¬w)\/ (x /\ y/\¬z/\¬w)\/ (x /\¬ y/\¬z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них соединены конъюнкцией, то каждый член должен быть истинным. Выпишем истинные наборы для каждой дизъюнкции.
x /\ y/\z/\¬w – x=1, y=1, z=1, w=0;
x /\ y/\¬z/\¬w – x=1, y=1, z=0, w=0;
x /\¬ y/\¬z/\¬w – x=1, y=0, z=0, w=0.
В итоге получаем 6 единиц.
Ответ: 6.

 

 

№2  Логическая функция F задается выражением

(¬x /\ y/\¬z/\w)\/ (x /\ y/\z/\¬w)\/ (x /\¬ y/\¬z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №1.

Ответ: 6.

 

 

№3  Логическая функция F задается выражением

(x /\ ¬y/\z/\w)\/ (x /\ y/\¬z/\w)\/ (¬x /\ y/\ z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №1.

Ответ: 9.

 

 

№4  Логическая функция F задается выражением

(¬x /\ ¬y/\z/\w)\/ (¬x /\ ¬y/\¬z/\w)\/ (¬x /\ y/\ z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №1.

Ответ: 5.

 

 

№5  Логическая функция F задается выражением

(¬x /\ y/\¬z/\¬w)\/ (x /\ ¬y/\¬z/\¬w)\/ (¬x /\ ¬y/\ z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №1.

Ответ: 5.

 

 

№6  Логическая функция F задается выражением

(x /\ y/\¬w)\/ (x /\¬ y/\¬z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них соединены конъюнкцией, то каждый член должен быть истинным. Выпишем истинные наборы для каждой дизъюнкции.
x /\ y/\¬w – (x=1, y=1, z=1, w=0) и (x=1, y=1, z=0, w=0);
x /\¬ y/\¬z/\¬w – x=1, y=1, z=0, w=0.
В итоге получаем 6 единиц.

Ответ: 6.

 

 

№7  Логическая функция F задается выражением

(x /\ y/\z/\¬w)\/ (x /\¬z/\¬w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №6.

Ответ: 6.

 

 

№8  Логическая функция F задается выражением

(¬x /\ ¬y/\z/\w)\/ (x /\z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №6.

Ответ: 9.

 

 

№9  Логическая функция F задается выражением

(y /\ ¬z /\ ¬w) \/ (¬x /\ ¬y/\¬z/\w).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №6.

Ответ: 4.

 

 

№10  Логическая функция F задается выражением

(x /\ y /\ ¬z) \/ (¬x /\ ¬y/\¬z).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение аналогично решению задачи №6.

Ответ: 6.

 

 

№11  Логическая функция F задается выражением

¬((¬w/\x) → (y /\ z)) \/ ¬((x /\¬ y)→ (¬z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них импликацией, то условие ее ложности дает истинность скобок. Следуя примеру, выпишем истинные наборы для каждой скобки.
¬((¬w/\x) → (y /\ z)) – (x=1, y=1, z=0, w=0) и (x=1, y=0, z=1, w=0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=1, w=1).
В итоге получаем 5 единиц.

Ответ: 5.

 

 

№12  Логическая функция F задается выражением

¬((¬x\/¬y) → (z \/ w)) \/ ¬((x \/ y)→ (z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них импликацией, то условие ее ложности дает истинность скобок. Следуя примеру, выпишем истинные наборы для каждой скобки.
¬((¬x\/¬y) → (z \/ w)) – (x=1, y=0, z=0, w=0) и (x=0, y=1, z=0, w=0);
¬((x /\¬ y)→ (¬z\/¬w)) – (x=1, y=0, z=0, w=0).
В итоге получаем 3 единиц.

Ответ: 3.

 

 

№13  Логическая функция F задается выражением

¬(¬(x\/y) → (¬z\/ w)) \/ ¬(¬(x /\ y)→ (z\/¬w)).

Степан выписал все наборы переменных, для которых это выражение истинно. Сколько единиц написал Степан? В ответе запишите только целое число – количество единиц.

Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y. Это выражение истинно для трех наборов: (0, 0), (0, 1) и (1, 1). Степан написал 3 единицы.

Решение

Логическая функция F истина тога, когда истинно хотя бы одно выражение в скобках. Т. к. все переменные в них импликацией, то условие ее ложности дает истинность скобок. Следуя примеру, выпишем истинные наборы для каждой скобки.
¬(¬(x\/y) → (¬z\/ w)) – (x=0, y=0, z=1, w=0);
¬(¬(x /\ y)→ (z\/¬w)) – (x=1, y=0, z=0, w=1), (x=0, y=1, z=0, w=1) и
(x=0, y=0, z=0, w=1).
В итоге получаем 6 единиц.

Ответ: 6.

 
 

0 Comments

Оставьте коммент первым.

 
 

Что думаете?

 




 
 

 
 
Яндекс.Метрика