Заключение

1. Простота метода, заложенного в алгоритме "Селигер", позволяет решать логические уравнения от большого числа переменных.

2. Минимизация функций в 3-значной и комплементарной логиках для двоичных аргументов несущественно отличается от традиционных методов двузначной логики.

3. Парные термы для равносильных преобразований определяются набором термов, полученных на основе применения формулы эквивалентности к исходному логическому уравнению.

4. Применение метода при выводе обратных логических функций показало, что однозначное решение для двоичных аргументов может быть получено лишь в комплементарной логике.

5. Впервые получены все 16 обратных логических функций для двух аргументов.

6. Комплементарная логика при аппаратной реализации позволяет значительно упростить решение проблемы самодиагностирования вычислительной техники: например появление j на любом выходе может свидетельствовать о сбое или отказе.

Краткий справочник по русской логике Варианты частноутвердительного силлогистического функтора Ixy.

1. Ixy = Ixy || Ayx || Axy = xy+x'y'+i(xy'+x'y)

(Ixy)' = j(xy'+x'y)

2. Ixy = Ixy || Ax'y = x+y+ix'y'

(Ixy)' = jx'y'

3. Ixy = Ixy || Axy || Ayx || Ax'y || (x=y) = xy+i(x'+y')

(Ixy)' = j(x'+y')

4. Ixy = Ixy || Ayx = x+y'+ix'y

(Ixy)' = jx'y

5. Ixy = Ixy || Ayx || Ax'y = x+ix'

(Ixy)' = jx'

6. Ixy = Ax'y = Ay'x = Ex'y' = x+y

(Ixy)' = x'y'

7. Ixy = Ixy || Axy || Ax'y = y+iy'

Oxy = jy'

8. Функтор Васильева представлен диаграммами Лобанова.

x ======----

y --======--

Ixy = 1

Любой базис может быть представлен с помощью атомарного базиса,состоящего всего из двух функторов: Axy = x'+y, Ixy = x+y+x'y' = 1

Русский базис

Axy(2) = Axy = x'+y

Exy(2) = Axy' = x'+y'

Ixy(2) = Ixy || Ax'y = x+y+ix'y'

Базис Васильева.

Axy(8) = Axy = x'+y = Exy'

Exy(8) = Axy' = x'+y' = Axy' = Ayx' = Eyx

Ixy(8) = Ixy = x+y+x'y' = 1 = Ix'y' = Ix'y = Ixy' = Iyx = Iyx' = Iy'x = Iy'x'

Базис Аристотеля-Жергонна.

Axy(3) = Axy || (x=y) = xy+x'y'+ix'y

Exy(3) = Axy' = x'+y'

Ixy(3) = Ixy || Ax'y || Axy || Ayx || (x=y) = xy+i(x'+y')

Oxy(3) = Ixy || Ax'y || Axy' || Ayx = xy'+i(x'+y) = Ixy'(3)

Алгоритмы.

"Импульс" - анализ законов логики суждений.

"Импульс-С" - синтез законов логики суждений.

"ИЭИ" - аналитический синтез силлогизмов.

"НИИРТА" - минимизация логических функций по картам Карно.

"Осташ" - универсальный синтез силлогизмов.

"Осташков" - синтез полисиллогизмов.

"РЕДАН" - графический синтез недостающей посылки.

"Селигер" - решение логических уравнений.

"Суздаль" - графический синтез соритов.

"ТВАТ" - графический синтез силлогизмов.

Список публикаций

1. Лобанов В. И. Инженерные методы разработки цифровых устройств. - М:НИИРТА, 1977(шифр Центр. Политехн. Библиотеки - W145 4/231)(шифр библ. НИИРТА –-507/Л68).

2. Лобанов В. И., Федулов А. И., Иванов Л. Н. Применение микропроцессоров в бытовой радиоприемной аппаратуре. //Радиотехника, 1983, N1.

3. Иванов В. И., Лобанов В. И., Митрофанов А. В. Отладочные средства для малоразрядных однокристальных микро-ЭВМ. //Микропроцессорные средства и системы, 1984, N2, с. 42_46.

4. Лобанов В. И., Мальков В. А. Аппаратное отладочное устройство для малоразрядной микро-ЭВМ. //Электронная промышленность, 1986, вып. 2, с. 52_53.

5. Лобанов В. И. Архитектура некоторых типов отладочных средств для микроконтроллера. //Микропроцессорные средства и системы, 1986, N3, с. 30_31.

6. Лобанов В. И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. // Инф. листок №54_87, МособлЦНТИ, 1987.

7. Лобанов В. И. Отладочные устройства для микропроцессоров и микро-ЭВМ. //Микроэлектроника, 1986, сер. 3, вып. 1(226), с. 56_57.

8. Лобанов В. И., Митрофанов А. В. Применение микропроцессоров серии К580 в бытовой радиоприемной аппаратуре. //Тезисы докладов Всесоюзного совещания ?Повышение качества БРЭА на основе широкого внедрения микроэлектроники? _ М. : Радио и связь, 1982, с. 13_14.

9. Лобанов В. И. Электронный регулятор на базе микро-ЭВМ //Микропроцессоры в системах контроля и управления(тезисы докладов) _ Пенза:1986, с. 67_68.

10. Лобанов В. И. Об одном методе синтеза распределителей импульсов //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М. :1987, вып. 4, уч. N60

11. Лобанов В. И. Синтез делителей частоты с дробным коэффициентом деления. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М. :1987, вып. 4, уч. N60, с28_29.

12. Лобанов В. И. Синтез делителей частоты со скважностью 2. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. М. :1987, вып. 4, уч. N60, с29_30.

13. Лобанов В. И. Отладочные средства для микропроцессоров и микро-ЭВМ. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве., 1986, вып. 1, уч. N72, с. 56_57.

14. Гутовец Н. И., Жданов В. И., Колодяжный В. Н., Лобанов В. И., Митрофанов А. В. Автономные обучающие устройства для отладки микроконтроллеров. //Электронная промышленность, 1986, вып. 9(157), с. 8_10.

15. Айзман М. И., Лобанов В. И., Митрофанов А. В., Черняков М. С., Широков А. Н. Микропроцессорная система контроля таксофонов. //Микропроцессорные средства и системы, 1988, N2, с. 91_93.

16. Дербунович Л. В., Лобанов В. И. Диагностические процессоры в системах управления технологическим оборудованием. //Энергетика. Известия вузов, 1988, N9, с. 87_88.

17. А. с. №1242910(СССР). Импульсное регулирующее устройство/Коровин Н. И., Лобанов В. И. _ Открытия, изобретения, 1986, N20.

18. А. с. №758105(СССР). Устройство контроля и защиты источников питания/Лобанов В. И. _ Открытия, изобретения, 1980, N31.

19. А. с. №746942(СССР). Делитель частоты/Лобанов В. И. _ Открытия, изобретения, 1980, N25.

20. А. с. №744973(СССР). Преобразователь код-фаза/Лобанов В. И., Столяров А. М. _ Открытия, изобретения, 1980, N24.

21. А. с. №1434439(СССР). Устройство для контроля выполнения программ // Антосик В. В., . . ., Лобанов В. И., . . . _ Открытия, изобретения, 1988, N40.

22. Лобанов В. И. Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных/Автореферат диссертации на соискание ученой степени кандидата технических наук _ Харьков, 1989.

23. А. с. №523(Роспатент) на полезную модель ”Адаптируемое устройство для отладки микроконтроллеров” от 16. 06. 1995 //Держатель патента Лобанов В. И.

24. Лобанов В. И. Кризис логики суждений и некоторые пути выхода из него. //Современная логика: проблемы теории, истории и применения в науке(Материалы V Общероссийской научной конференции)-Санкт-Петербург, 1998, стр. 190 - 193.

25. Лобанов В. И. Решение логических уравнений. //Научно-техническая информация, сер. 2, Информационные процессы и системы, N9, 1998, с. 34-40.

26. Лобанов В. И. Адаптируемая отладочная система для проектирования микроконтроллеров. //Приборы и системы управления, N7, 1998, с. 60-62

27. Лобанов В. И. Многозначная силлогистика без кванторов. //НТИ, сер. 2, Информ. процессы и системы, N10, 1998, с. 27-36.

28. Лобанов В. И. Силлогистика Аристотеля-Жергонна. //НТИ, сер. 2, Информационные процессы и системы, N9, 1999, с. 11-27.

29. Лобанов В. И. Фундамент искусственного интеллекта. // НТИ, сер. 2, Информационные процессы и системы, №5, 2000, с. 6 - 18.

30. Лобанов В. И. Базовые проблемы классической логики. //Современная логика: Проблемы теории, истории и применения в науке(Материалы VI Общероссийской научной конференции) — СПб. : 2000, с. 499 — 504.

31. Лобанов В. И. Синтез и минимизация комбинационных схем //Информатика и образование, N5, 2000 , с. 60 –63.

32. V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5, 1998, p. 16 – 27 .

33. V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5, 1998, p. 40 – 60 (гонорар выплачен 4. 11. 2000).

34. V. I. Lobanov. // Documentation and Mathematical Linguistics, vol. 32, №6 , 1999 (гонорар выплачен 4. 11. 2000).

35. Лобанов В. И. Инженерная логика. Часть 1. //НТИ, сер. 2, Информационные процессы и системы, №1, 2001, с. 13-22.

36. Лобанов В. И. Технический минимум пользователя САПР MAX+PLUS II. //Chip News, №1, 2001г., с. 56-58.

37. Лобанов В. И. Практикум по логике суждений. //Информатика и образование, №2, 2001, с. 47-52.

38. Лобанов В. И. Практикум по силлогистике. //Информатика и образование, №6, 2001, с. 42 - 47.

39. Лобанов В. И. Азбука разработчика цифровых устройств. – М. : Горячая линия – Телеком, 2001 – 192с. (шифр ЦПТБ W148 6 | 261)

40. Лобанов В. И. Проектирование в САПР MAX+PLUS II. // Chip News, №5, 2001г., с. 66-71.

41. Лобанов В. И. Инженерная логика. Часть 2. // НТИ, сер. 2, Информационные процессы и системы, №3, 2001, с. 29 – 32.

42. Лобанов В. И. Логика в школе. //ИТО-2001. Информационные технологии в образовании. Секция 1. 2 – М. : 2001г. (http: //ito. edu. ru . ).

43. Лобанов В. И. Логика Порецкого. // НТИ, сер. 2 , Информационные процессы и системы, №9, 2001, с, 25-31.

44. Лобанов В. И. Русская силлогистика. // Информатика и образование, №4, 2002, с. 41 - 46.

45. Лобанов В. И. Русская логика. // http: //www. saslib. ru/ref/arh/25/HAI-0401/Index. txt, 21. 05. 2001.

46. Лобанов Владимир Иванович. "Семантическая логика Лобанова". // Программа XII международного симпозиума “Перестройка естествознания в III тысячелетии. Раздел 4. “Информационные, энергетические и экологические проблемы жизнеобеспечения и безопасности землян”. http: //mirit. narod. ru/program/0012. htm - 33К - 04. 07. 2001

47. Лобанов В. И. Компьютерные уроки с элементами логики в начальной школе. // http: //www. bitpro. ru/ITO/2001/ito/I. html, 29. 11. 2001.

48. Лобанов В. И. Русская логика для инженеров // НТИ, сер. 2 , Информационные процессы и системы, №8, 2002, с. 24-30.

49. Сайты в Internet: http: //ruslogic. narod. ru, http: //ruslogic. by. ru.

50. Лобанов В. И. Русская логика против классической. //Рационализм и культура на пороге третьего тысячелетия(материалы Третьего Российского философского конгресса), том 1, стр. 278, г. Ростов-на-Дону, 2002.

51. Лобанов В. И. Русская логика против классической (азбука математический логики). – М. : Компания Спутник+, 2002 – 126с.

52. Лобанов В. И. Решебник по Русской логике. – М. : Компания Спутник+, 2002 – 133с.

53. Лобанов В. И. Русская логика – инструмент науки XXI века. // Научная сессия МИФИ-2002, том 1, стр. 204-205.

54. Лобанов В. И. Математическое мышление и Русская логика. // Научная сессия МИФИ-2003, том 1, стр. 188 – 189.

55. Лобанов В. И. Беспомощность классической логики. // Естественные и технические науки, №3, 2002 г., стр. 22 – 23.

56. Лобанов В. И. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе. // Chip News, №3, 2003 г., с. 36-43.

57. Лобанов В. И. Об особенностях проектирования цифровых систем на отечественных БМК. // Chip News, №2, 2004 г., стр. 45-47.

58. Лобанов В. И. Логика в высших учебных заведениях. // Актуальные проблемы современной науки, №3, 2004, стр. 136-139.

59. Лобанов В. И. Ошибки Аристотеля. //Современная логика: проблемы теории, истории и применения в науке (Материалы VIII Общероссийской научной конференции)-Санкт-Петербург, 2004, стр. 275 - 279.

60. Лобанов В. И. Русская логика просит работы. // Экономическая и философская газета, № 35(515), 2004.