Определить логическое значение высказывания. Доказать тавтологию.

Discussion in 'С/С++, C#, Rust, Swift, Go, Java, Perl, Ruby' started by _Mistake, 14 Jan 2012.

  1. _Mistake

    _Mistake New Member

    Joined:
    18 Feb 2011
    Messages:
    3
    Likes Received:
    0
    Reputations:
    0
    помогите пожалуйста!!!!! Определить логическое значение последнего высказывания:
    (А или В) = 1, (А->B) = 1, (не В ->А) = ?

    Добавлено через 4 минуты
    Докажите ( с помощью равносильных преобразований) что данная формула является тавтологией:
    ((P->Q)^(R->S)^не(Q или S))->не(P или R)
     
  2. thrust

    thrust Elder - Старейшина

    Joined:
    20 Jul 2011
    Messages:
    50
    Likes Received:
    41
    Reputations:
    31
    (А или В) = 1 возм. варианты 1 1, 1 0, 0 1
    (А->B) = 1 вариант 1 0 отбрасывается т.е. B= 1 отсюда
    (не В ->А) = 1
    вроде так
     
  3. _Mistake

    _Mistake New Member

    Joined:
    18 Feb 2011
    Messages:
    3
    Likes Received:
    0
    Reputations:
    0
    Спасибо большое!