Вопрос:

12. Постройте таблицы истинности для следующих выражений: 1) (¬x ⊕ (y → z)) ∨ z; 2) (¬x → z) → (y → x). Оцените, для какого из двух выражений истинных наборов больше. Истинным набором считается тот набор значений переменных, при котором выражение истинно. Варианты: 1) у 2-го выражения на 2 шт. больше; 2) у 2-го выражения на 1 шт. больше; 3) одинаково; 4) у 1-го выражения на 1 шт. больше.

Ответ:

Обозначим значение первого выражения через F1, второго — через F2. Символ ⊕ означает исключающее ИЛИ.

xyz¬xy → z¬x ⊕ (y → z)(¬x ⊕ (y → z)) ∨ z
0001100
0011101
0101011
0111101
1000111
1010111
1100000
1110111

Для второго выражения:

xyz¬x → zy → x(¬x → z) → (y → x)
000011
001111
010001
011101
100111
101111
110111
111111

В первом выражении 6 истинных наборов, во втором — 8. Разность составляет 2.

Ответ: 1) у второго выражения на 2 истинных набора больше.

Подать жалобу Правообладателю