Zeige ohne die Verwendung einer Wahrheitstafel, dass die folgenden Aussagen äquivalent sind:

´(p => q) ^^ (not p => r)´ und ´(q ^^ (p vv r)) vv (not p ^^ r)´

Solution

  • ´(p => q) ^^ (not p => r)´ (Tautolgie) ´-= (not p vv q) ^^ (p vv r)´ (Distributivität) ´-= not p ^^ (p vv r) vv q ^^ (p vv r)´ ´-= r ^^ not p vv q ^^ (p vv r)´ ´-= (q ^^ (p vv r)) vv (not p ^^ r)´

  • URL:
  • Language:
  • Subjects: math
  • Type: Proof
  • Duration: 25min
  • Credits: 3
  • Difficulty: 0.4
  • Tags: proof
  • Note:
    HPI, Mathematik I - Diskrete Strukturen und Logik, Wintersemester 2012/2013
  • Created By: adius
  • Created At:
    2013-04-12 16:49:14 UTC
  • Last Modified:
    2014-07-20 17:31:20 UTC