МЕТОДИЧЕСКИЕ ОСОБЕННОСТИ ИСПОЛЬЗОВАНИЯ РАЗЛОЖЕНИЯ ШЕННОНА НА ЗАНЯТИЯХ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ
Ключевые слова:
переключательная функция, разложение Шеннона, резолюцияАннотация
Предлагаются простые способы разложения Шеннона для использования на занятиях по математической логике. Таблица истинности переключательной (булевой, логической) функции делится пополам по требуемой переменной, далее получают функции n - 1 переменной и соответствующую формулу. Приводятся также методические приемы доказательств неклаузального правила резолюции с использованием разложения Шеннона.Библиографические ссылки
Новиков Ф. А. Дискретная математика для программиста. - СПб. : Питер, 2001. - 502 с.
Аляев Ю. А., Тюрин С. Ф. Дискретная математика и математическая логика. - М. : Финансы и статистика, 2006. - 357 с.
Тюрин С. Ф., Аляев Ю. А. Дискретная математика: практическая дискретная математика и математическая логика. - М. : Финансы и статистика, 2010. - 394 с.
Тюрин С. Ф., Ланцов В. М. Дискретная математика & математическая логика : учеб. пособие. - Пермь : Изд-во ПНИПУ, 2013. - 271 с.
Логический подход к искусственному интеллекту / А. Тей, П. Грибомон [и др.]. - М. : Мир, 1990. - 432 с.
Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. - М. : Энергоатомиздат, 1988. - 450 с.