Подробности

    ЦифроМахЛогикаСущность → Логическое следование или импликация

    Логическое следование или импликация

    таблица истинности

    Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.

    Таблица истинности для импликации
    A B F
    1 1 1
    1 0 0
    0 1 1
    0 0 1



  • Логическое отрицание или инверсия

    Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным

     
  • Источник: http://www.webmath.ru