Page 93 - 4196
P. 93

4.8 Логічні методи розпізнавання

                 В  задачах  класифікації  та  розпізнавання,  для
           розв’язку  яких  застосовуються  методи  алгебри  логіки,
           класи та ознаки об’єктів розглядаються як логічні змінні,
           які приймають одне із двох значень „0” або „1”. Функція
            f  від  n  бінарних змінних, яка приймає одне із двох зна-
           чень, 0 або 1, називається булевою функцією  Af   1 ,..., A n  
           від  n  змінних.
                 Розв’язок  багатьох  логічних  задач  розпізнавання
           можна звести до знаходження розв’язків булевих алгеб-
           раїчних рівнянь з одним або більше невідомих або вима-
           гає виконання перетворень над булевими функціями. Усі
           ці питання розглянуті в наступному підрозділі, де наве-
           дені довідкові відомості з алгебри логіки.

                 4.8.1 Довідкові відомості з алгебри логіки

                 Логічні операції над висловлюваннями
                 1 Кон’юнкція (логічне множення). Позначка         
           відповідає  комбінації  2-х  або  більше  висловлювань  за
           допомогою  зв’язки   i  .  Наприклад,  висловлювання
            A  B  істинне тоді, коли істинні  A  і B одночасно:
           Таблиця 4.15 – Таблиця істинності для кон’юнкції

                        A                B              A  B
                        0                 0               0
                        0                 1               0
                        1                 0               0
                        1                 1               1

                 2  Диз’юнкція  (логічне  додавання).  Позначка
                   відповідає  об’єднанню  2-х  або  більше  вислов-
           лювань  за  допомогою  зв’язки   або      .  Наприклад,
                                 B
           висловлювання  A    істинне  тоді,  коли  істинні  або
           тільки  A , або тільки  B, або A  і B одночасно:

                                        93
   88   89   90   91   92   93   94   95   96   97   98