Арифметические и логические основы компьютера. Фатеева Н.М - 45 стр.

    Пример 2. Многоугольник является вписанным в круг, если его
вершины лежат на окружности.
                                                    Таблица 17
        Таблица истинности логической эквивалентности
         А                   В                     P = A↔B
         0                   0                         1
         0                   1                         0
         1                   0                         0
         1                   1                         1

     Составное высказывание, образованное с помощью логической
операции эквивалентности, истинно тогда и только тогда, когда оба
высказывания одновременно либо истинны, либо ложны (табл. 17).
     Вне зависимости от смысла равнозначными являются как истин-
ные, так и ложные высказывания, например,
     А = (дважды два – пять);
     B = (один плюс два – шесть);
     А~В («А и В равнозначны»).
     Рассмотренные логические операции в порядке убывания приори-
тетов располагаются так: отрицание, конъюнкция, дизъюнкция, им-
пликация, эквивалентность.
     Как составить таблицу истинности для логической формулы?
     Согласно определению таблица истинности логической формулы
выражает соответствие между всевозможными наборами значений
переменных и значениями формулы.
     Для формулы, которая содержит две переменные, таких наборов
значений переменных всего четыре: (0,0), (0,1), (1,0), (1,1).
     Если формула содержит три переменные, то возможных наборов
значений переменных восемь: (0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0),
(1,0,1), (1,1,0), (1,1,1).
     Количество наборов для формулы с четырьмя переменными рав-
но шестнадцати и т. д.
     Удобной формой записи при нахождении значений формулы яв-
ляется таблица, содержащая, кроме значений переменных и значений
формулы, также и значения промежуточных формул.
     Пример. Составим таблицу истинности для формулы А ∧ B∨ А ∨ B∨ А.

                                  45