Теория автоматов. Аралбаев Т.З - 8 стр.

                                      Вариант 2

                                          в)

             Рисунок 1.2 - Варианты карт Карно а) для двух переменных,
                 б) четырех переменных, в) пяти переменных

      В случае шести переменных обычно используют четыре 16 - клеточные
карты Карно. Для ЛФ с числом переменных n > 6 карты Карно становятся
громоздкими и неудобными для практического применения.

      1.2 Аналитическая форма представления ЛФ

       Аналитической формой представления ЛВ является формульное описание
ЛФ, содержащее обозначение переменных, знаков операций и разделительных
скобок. К основным операциям, используемым в формулах, относятся отрицание,
конъюнкция и дизъюнкция. Причем, если в аналитическом выражении
отсутствуют скобки, старшинство операций определяется следующим образом:
сначала выполняется отрицание, затем конъюнкция и затем дизъюнкция.
       В теории автоматов существуют следующие основные аналитические
формы представления ЛФ: дизъюнктивная нормальная форма (ДНФ),
конъюнктивная нормальная форма (КНФ), совершенная дизъюнктивная
нормальная форма (СДНФ) и совершенная конъюнктивная нормальная форма
(СКНФ).
       Составным элементом перечисленных форм являются элементарные
конъюнкции (ЭК) и элементарные дизъюнкции (ЭД).
       Элементарной конъюнкцией (дизъюнкцией) называется конъюнкция
(дизъюнкция) переменных, каждая из которых входит в нее один раз в прямом
или инверсном виде.
       Число переменных, составляющих ЭК или ЭД, называют ее рангом.
8