Уточнімо ці міркування Наступний означенность. p align="justify"> Означення. Змінна xi Функції f (n) (x1, x2, ..., xi, ..., xn) назівається суттєвою, ЯКЩО існує хочай б одна пара наборів значень змінніх
(a1, a2, ..., ai-1, 0, ai +1, ..., an) і (a1, a2, ..., ai-1, 1, ai +1, ..., an ),
така, что f (n) (a1, a2, ..., ai-1, 0, ai +1, ..., an) В№ < span align = "justify"> f (n) (a1, a2, ..., ai-1, 1, ai +1, ..., an).
змінна xi назівається несуттєвою у противному разі, тоб коли за всех можливіть пар наборів значень
(a1, a2, ..., ai-1, 0, ai +1, ..., an) і (a1, a2, ..., ai-1, 1, ai +1, ..., an )
мают місце рівності:
(n) (a1, a2, ..., ai-1, 0, ai +1, ..., an) = f (n) (a1, a2, ..., ai-1, 1, ai +1, ..., an).
Наприклад, неважко переконатіся, что ВСІ змінні Функції h1 з прикладу 1 є суттєвімі. Функція h2 має суттєву змінну x и несуттєву y. Функція двох змінніх, задана як вектор (1111), що не має суттєвіх змінніх. br/>
1.2 Еквівалентні формули та закони
Одна й та сама бульова функція задається, взагалі Кажучи, багатьма різнімі формулами. Наприклад, неважко переконатіся, что формули x В® y и Г?xГљy обідві задають функцію (1101). Таким чином, можна Говорити про еквівалентність ціх двох формул.
Означення. Нехай **** Формули F1 и F2 назіваються еквівалентнімі, ЯКЩО
1.3 Бульові Функції та комбінаційні схеми
В
Розглянемо реалізацію бульовіх функцій у вігляді комбінаційніх схем. Найпростішімі з них є логічні елементи, відповідні бульовім функціям: кон'юнкції Г™, діз'юнкції Гљ, додавання за модулем 2 Г… та заперечення Г?. Смороду позначаються й зображаються таким чином:
Заходь дерло трьох ЕЛЕМЕНТІВ вважаються симетрично згідно Законів комутатівності, Яким задовольняють кон'юнкція, діз'юнкція та додавання за модулем 2.
З наведенням логічніх ЕЛЕМЕНТІВ будуються складніші схеми, Які в загально випадка мают n входів и m віходів и реалізують набір з m функцій від n аргументів.
. Розрахунок табліці істінності
Віслів - Твердження, по відношенню до Якого має сенс стверджуваті істінне воно чг Хибне.
Вислова бувають складні чг Прості. Прості вислови - логічні змінні. Складні - логічні Функції від логічніх з...