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