Форум » Логические уравнения » Новая тема
Страница: 1 2 3 4 5 6 7 8 9 10 11 12
решение битовыми цепочками
Приглашение в сообщество
Задание 2312. номер 205
Решение систем из уравнений типа (x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ ¬ (x1 ∧ y1) = 1
Solution system P-46 via MEA's approach for P-45 (english&&russian)
Метод Отображения с обратным просчетом
Задание 23
Задача 115 из ege23.doc
Задача 227
Непонятно, как было сделано преобразование в решении логического уравнения
Рекурсивное использование Метода Отображений (08.2016) для решения одной системы булевских уравнений
Альтернативные решения последних разборов задания 23 из Новостной ленты ВК Informatika_100
-Нетривиальные возможности метода отображений (Графы и системы булевых уравнений по Е. А. Мирончик)
-Решение одной системы логических уравнений по Е.А.Мирончик (mea-2016-8.pdf)
-Unleash the full power of Mapping Method (Graphs and Systems of Boolean Equations by E.Mironchick)
полная версия страницы