Подробности

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

    Логическая равнозначность или эквивалентность

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

    Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.

    Таблица истинности для эквивалентности
    A B F
    1 1 1
    1 0 0
    0 1 0
    0 0 1

    Порядок выполнения логических операций в сложном логическом выражении.

    1. Инверсия;
    2. Конъюнкция;
    3. Дизъюнкция;
    4. Импликация;
    5. Эквивалентность.

    Для изменения указанного порядка выполнения логических операций используются скобки.



  • Логические операции

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

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