Hinweis: Diese Aufgaben können Sie jeweils auf zwei Arten anpacken. Entweder Sie stellen die Wahrheitstabelle auf, oder Sie verwenden die Rechenregeln aus Theorem 3. 1. 10. Für die erste Aussage, nennen wir sie $A$, sieht das etwa so aus: $$ \begin{array}{c|c|c|c||c} p\ &\ q\ &\ p\Rightarrow q & p\vee(p\Rightarrow q)\ &\ A \\\hline 0&0& 1 & 1 & 0\\ 1&0& 0 & 1 & 0\\ 0&1& 1 & 1 & 1\\ 1&1& 1 & 1 & 1\\ \end{array} Oder: \begin{eqnarray*} (p \vee (p \Rightarrow q)) \Rightarrow q &=& \neg(p \vee (p \Rightarrow q))\vee q \, =\, (\neg p\wedge \neg(\neg p\vee q))\vee q\\ &=& (\neg p\wedge p\wedge \neg q)\vee q\, =\, (0\wedge\neg q)\vee q = 0\vee q = q. \end{eqnarray*} Also gilt $A=q$ und daher ist $A$ genau dann wahr, wenn es $q$ ist. Aufgabe 3. Inf-schule | Grundgatter » Übungen. 9 Beweisen Sie die Formel (3. 2) mittels Aufstellen der Wahrheitstabelle. Aufgabe 3. 12 Beweisen Sie die obige Aussage (3. 3). Aufgabe 3. 13 Wir betrachten die Aussagen $p$ und $q$ über deren Wahrheitswert wir nichts wissen. Es gelte jedoch $p \liff q$.
B. Q2, B1... ) zu. loesung_uebungen_digitaltechnik_6tg9: Herunterladen [docx][1. 541KB] [pdf][583KB] Weiter zu Allgemeines, Begriffe
Bei einer Implikation folgert aus einer Prämisse eine Konklusion Wahrheitstabelle: Sind Prämisse P und Konklusion K zwei Aussagen, die so mit einander verknüpft sind, dass aus der Prämisse die Konklusion logisch folgert, so spricht man von einer Implikation. Eine Implikation ist nur dann und genau dann falsch, wenn die Prämisse wahr ist und die Konklusion falsch ist. In allen anderen Fällen ist sie wahr. Wahrheitstabelle aufgaben mit lösungen 1. Achtung: Aus Falschem kann Beliebiges folgen (ex falso quodlibet) P K \({P \Rightarrow K}\) f Äquivalenz Es handelt sich um die "genau dann…, wenn … und umgekehrt" Verknüpfung. Es besteht genau dann und nur dann Äquivalenz zwischen zwei Aussagen A und B bzw. umgekehrt zwischen B und A, wenn entweder beide Aussagen falsch oder beide Aussagen richtig sind. Ist hingegen eine der beiden Aussagen wahr und die andere falsch, dann kann keine Äquivalenz vorliegen. B \(A \Leftrightarrow B\) NAND oder Nicht-Und Verknüpfung Bei der NAND Verknüpfung handelt es sich um die "Nicht-Und" Verknüpfung (engl: N ot AND) In der zweistelligen booleschen Algebra ist bei einer NAND Verknüpfung der Ausgang dann "1", wenn mindestens ein Eingang "0" ist bzw. ist der Ausgang dann "0", wenn alle Eingänge "1" sind.