Форум » Логические уравнения » Задача №572 » Ответить
Задача №572
lex_maloteg: Здравствуйте. Не получается решить задачу № 572. Помогите определить вектор решения. Спасибо. (№ 572) Сколько существует различных наборов значений логических переменных x1, x2, ... x10, которые удовлетворяют всем перечисленным ниже условиям? ((x1 ≡ x2) ∨ (x3 ≡ x4)) ∧ ( ¬((x1 ≡ x2) → (x3 ≡ x4))) = 1 ((x5 ≡ x6) ∨ (x7 ≡ x8)) ∧ ( ¬((x5 ≡ x6) → (x7 ≡ x8))) = 1 ((x1 ≡ x2) ∨ (x7 ≡ x8)) ∧ ( ¬((x1 ≡ x2) → (x7 ≡ x8))) = 1 ((x5 ≡ x6) ∨ (x3 ≡ x4)) ∧ ( ¬((x5 ≡ x6) → (x3 ≡ x4))) = 1 (x9 ≡ x10) = 1
Ответов - 2
OlgaChe1: Заменой переменных, затем преобразованием импликации и перемножением скобок получится примерно так: t1*!t2*t3*!t4*t5=1 вектор: 10101. Для ti=(Xi=Xi+1) по 2 решения для 0 и для 1. Всего 2^5=32 решения
lex_maloteg: Респект девушкам!!! Спасибо!!!
полная версия страницы