Методы алгебры логики в математической физике, Рвачев В.Л., 1974

Методы алгебры логики в математической физике, Рвачев В.Л., 1974.  

Представлена методика аналитического описания сложных геометрических объектов, удовлетворяющих всем краевым условиям, с использованием R-функций. Рассмотрен широкий диапазон применения R-функций, а также освещены вопросы алгебры логики и дискретного анализа. С использованием Н-реализуемой функции раскрываются понятие аналитического задания функций и вопросы представления приближенных решений краевых задач.




Теорема 3. Дизъюнкция всех простых импликант оулевой функции совпадает с этой булевой функцией.
Дизъюнктивная нормальная форма, составленная из простых импликант, называется сокращенной нормальной формой. Иногда некоторые простые импликанты, входящие в сокращенную дизъюнктивную нормальную форму, могут быть удалены и при этом значения функции не изменятся ни в одной точке. Такие простые импликанты называются лишними. Сокращенная дизъюнктивная нормальная форма, из которой удалены все лишние импликанты, называется тупиковой дизъюнктивной нормальной формой. Можно показать [82], что всякая минимальная дизъюнктивная нормальная форма является тупиковой.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Методы алгебры логики в математической физике, Рвачев В.Л., 1974 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: Рвачев :: книги по алгебре :: алгебра :: математика :: логика :: физика