ПОЗНАВАТЕЛЬНОЕ Сила воли ведет к действию, а позитивные действия формируют позитивное отношение Как определить диапазон голоса - ваш вокал
Игровые автоматы с быстрым выводом Как цель узнает о ваших желаниях прежде, чем вы начнете действовать. Как компании прогнозируют привычки и манипулируют ими Целительная привычка Как самому избавиться от обидчивости Противоречивые взгляды на качества, присущие мужчинам Тренинг уверенности в себе Вкуснейший "Салат из свеклы с чесноком" Натюрморт и его изобразительные возможности Применение, как принимать мумие? Мумие для волос, лица, при переломах, при кровотечении и т.д. Как научиться брать на себя ответственность Зачем нужны границы в отношениях с детьми? Световозвращающие элементы на детской одежде Как победить свой возраст? Восемь уникальных способов, которые помогут достичь долголетия Как слышать голос Бога Классификация ожирения по ИМТ (ВОЗ) Глава 3. Завет мужчины с женщиной 
Оси и плоскости тела человека - Тело человека состоит из определенных топографических частей и участков, в которых расположены органы, мышцы, сосуды, нервы и т.д. Отёска стен и прирубка косяков - Когда на доме не достаёт окон и дверей, красивое высокое крыльцо ещё только в воображении, приходится подниматься с улицы в дом по трапу. Дифференциальные уравнения второго порядка (модель рынка с прогнозируемыми ценами) - В простых моделях рынка спрос и предложение обычно полагают зависящими только от текущей цены на товар. | Алгоритм нахождения фиктивных аргументов. ТЕОРЕТИЧЕСКАЯ ЧАСТЬ Пусть множество Х состоит из двух элементов 0 и 1. Тогда совокупность координат некоторого фиксированного вектора (x1, …,xn)ÎX называется двоичным набором. Каждому двоичному набору можно поставить в соответствие некоторый номер, равный двоичному числу, соответствующему данному набору. Например, (0,1,1) = 021110 = 0´22 + 1´21 + 1´20 + 2 + 1 = 3 (0,0,1,1) = 03021110 = 0´23 + 0´22 + 1´21 + 1´20 += 0 +0 + 2 + 1 = 3 Чтобы восстановить набор по номеру, нужно знать количество аргументов. Логическая переменная – это переменная, которая может принимать только два значения – ИСТИНА или ЛОЖЬ (TRUE/FALSE, 1/0). Функция алгебры логики (булева функция, ФАЛ) – F(x1, …,xn) – это функция у которой все аргументы логические переменные и сама функция принимает только логические значения. Количество всевозможных, различных двоичных наборов длиной n = 2n. Например. n = 3 2n = 23 = 8. Для функции, зависящей от 3 переменных, аргументы имеют 8 различных двоичных наборов. Эти наборы соответствуют трехразрядным двоичным числам от 0 до 7 (0002 – 1112). n = 4 2n = 24 = 16. Для функции, зависящей от 4 переменных, аргументы имеют 16 различных двоичных наборов. Эти наборы соответствуют четырехразрядным двоичным числам от 0 до 15 (00002 – 11112). ФАЛ можно представить табличным и графическим способом. Любую ФАЛ можно представить таблицей, имеющей 2n строк. Такая таблица называется таблицей истинности ФАЛ. В левой части таблицы перечисляются всевозможные двоичные наборы значений аргументов, а в правой части – значения некоторой булевой функции. Функции алгебры логики. Каждая функция имеет свою таблицу истинности. При одних наборах аргументов значение ее равно1, т.е. истинно, а при других равно 0, т.е. ложно. Ниже приведена таблица, включающая таблицы истинности логических функций, их название и обозначение. | Функция | | | Функция | Х1 | Х2 | Х1ÚХ2 | х1 Ú х2 логическое «ИЛИ», дизъюнкция, сумма, OR Функция принимает значение ИСТИНА, если хотя бы один из аргументов имеет значение ИСТИНА | | Х1 | Х2 | Х1¯ Х2 | х1 ↓ х2 логическое «ИЛИ-НЕ», стрелка Пирса, функция Вебба Функция принимает значение ИСТИНА, если оба аргументов имеют значение ЛОЖЬ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Х1 | Х2 | Х1ÙХ2 | Х1ÙХ2 логическое «И», конъюнкция,AND Функция принимает значение ИСТИНА, если оба аргумента имеют значение ИСТИНА | | Х1 | Х2 | Х1ï Х2 | Х1ï Х2 логическое «И-НЕ», Штрих Шеффера Функция принимает значение ЛОЖЬ, если оба аргумента имеют значение ИСТИНА | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Х1 | Х2 | Х1ÅХ2 | Х1ÅХ2 Сложение по модулю 2, неравнозначность Функция принимает значение ИСТИНА, если оба аргумента имеют разные значения | | Х1 | Х2 | Х1ºХ2 | Х1ºХ2 Эквивалентность, равнозначность, тождество Функция принимает значение ИСТИНА, если оба аргумента имеют одинаковые значения | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Х1 | Х2 | Х1®Х2 | Х1®Х2 Импликация Функция принимает значение ЛОЖЬ, если из ИСТИНЫ следует ЛОЖЬ | | | Х |  | Логическое НЕ, отрицание, NOT | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Условные приоритеты булевых функций | ( ) | | Отрицание | | Ù ï ¯ | | ® º Å Ú | В пределах одного приоритета операции в выражении выполняются слева направо. Таблица 3. Таблица истинности логических функций Х1 | Х2 | Х1ÚХ2 | Х1¯ Х2 | Х1ÙХ2 | Х1ï Х2 | Х1ÅХ2 | Х1ºХ2 | Х1®Х2 |  | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Например: Дана функция  Составить таблицу истинности функции трех переменных F(x, y, z). Решение. Расставим порядок выполнения действий, соблюдая приоритеты. | | | | | | 6 2 | | | |  | Выполним операции согласно порядку от 1 до 6. Результат выполнения каждой логической операции соответствует ее значению в таблице истинности для данного набора аргументов (таблица 3). Составим таблицу истинности заданной функции. Число переменных равно3 значит в таблице 8 строк (n – 3 2n = 23 = 8). Таблица 4. В столбце 7 получены значения заданной функции на каждом из двоичных наборов. ПРАКТИЧЕСКАЯ ЧАСТЬ. 1. Составить таблицы истинности заданных функций. «ОПРЕДЕЛЕНИЕ ФИКТИВНЫХ АРГУМЕНТОВ» ТЕОРЕТИЧСЕКАЯ ЧАСТЬ Фиктивные аргументы ФАЛ Две ФАЛ называются равными, если они принимают одинаковые значения на всех возможных наборах аргументов. Если функция несущественно зависит от аргумента Хi, то Хi, - фиктивный аргумент. ФАЛ не изменится, если к ее аргументам приписать или вычеркнуть любое количество фиктивных аргументов. Алгоритм нахождения фиктивных аргументов. Для нахождения фиктивных аргументов нужно задать ФАЛ таблично. Разбить множество наборов аргументов ФАЛ на 2 подмножества: подмножество Т0, на котором функция принимает значение 0; подмножество Т1, на котором функция принимает значение 1. Для проверки фиктивности аргумента Хi вычеркиваем столбец, которые ему соответствует, проверяем не появились ли в двух подмножествах одинаковые наборы. Если такие наборы не появились, то Хi является фиктивным аргументом. Например. Имеет ли функция фиктивные аргументы. Данная функция задана таблично – таблица 4. Составим подмножества Т0 и Т1. Множество Т0 | | Множество Т1 | X | Y | Z | F(x,y,z) | | X | Y | Z | F(x,y,z) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Проверим фиктивность аргументов: Аргумент X – не фиктивный, так как при вычеркивании X в множествах Т0 и Т1 появились одинаковые наборы: 10. Аргумент Y – не фиктивный, так как при вычеркивании Y в множествах Т0 и Т1 появились одинаковые наборы: 00 Аргумент Z – не фиктивный, так как при вычеркивании Z в множествах Т0 и Т1 появились одинаковые наборы: 01. Аргумент X | | Аргумент Y | | Аргумент Z | T0 | T1 | | T0 | T1 | | T0 | T1 | Y | Z | Y | Z | | X | Z | X | Z | | X | Y | X | Y | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ПРАКТИЧЕСКАЯ ЧАСТЬ. 1. Определить фиктивность аргументов ФАЛ, для которых составлены таблицы истинности «АНАЛИТИЧЕСКАЯ ЗАПИСЬ ФАЛ» ТЕОРЕТИЧЕСКАЯ ЧАСТЬ Рассмотрим методы перехода от табличного способа задания функции к аналитическому методу (в виде формул). |