Форум » Логические уравнения » Использование техники Р-40 (Е.А. Мирончик ) для решения несколько более сложных задач » Ответить

Использование техники Р-40 (Е.А. Мирончик ) для решения несколько более сложных задач

dbaxps: http://informatics-ege.blogspot.ru/2018/04/one-complicated-system-of-boolean.html

Ответов - 2

dbaxps: ((x1 v y1) ~ (x2 v y2)) => (x3 v y3) = 1 ((x2 v y2) ~ (x3 v y3)) => ¬(x4 v y4) = 1 ((x3 v y3) ~ (x4 v y4)) => (x5 v y5) = 1 ((x4 v y4) ~ (x5 v y5)) => ¬(x6 v y6) = 1 ((x5 v y5) ~ (x6 v y6)) => (x7 v y7) = 1 ((x6 v y6) ~ (x7 v y7)) => ¬(x8 v y8) = 1 zj=xj v yj (z1 ~ z2) => z3 = 1 (z2 ~ z3) => ¬z4 = 1 (z3 ~ z4) => z5 = 1 (z4 ~ z5) => ¬z6 = 1 (z5 ~ z6) => z7 = 1 (z6 ~ z7) =>¬z8 = 1

dbaxps: ((x1^y1 = x3^y3)) => (x2^y2) = 1 ((x2^y2 = x4^y4)) => ¬(x3^y3) = 1 ((x3^y3 = x5^y5)) => (x4^y4) = 1 ((x4^y4 = x6^y6)) => ¬(x5^y5) = 1 ((x5^y5 = x7^y7)) => (x6^y6) = 1 ((x6^y6 = x8^y8)) => ¬(x7^y7) = 1 zj=zj^yj http://informatics-ege.blogspot.ru/2018/04/llike-p-40-complicated-system-of.html



полная версия страницы