Приветствую, друзья. Сегодня рассмотрим интересную физическую модель. В школьные годы на уроках физики, при решении задач из разделов механики и динамики, в большинстве случаев нить/трос/цепь были идеальными. Смысл этой фразы был в том, что можно было считать их нерастяжимыми и невесомыми. Но в реальной жизни такого не бывает. К примеру, если мы возьмем 5 метров корабельного каната и дадим его двум мужчинам, то они не смогут его натянуть таким образом, чтобы середина не провисла ни на 1 см. Всегда будет иметься некоторое провисание за счёт массы...
Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F переменных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений переменных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...