Arbeitsblätter für JavaKara

Einführung in Java  Etwas Logik (Lösung)

Autor: Horst Gierhardt

1. Die folgenden zwei Sätze bzw. Aussagen sollen verneint (negiert) werden.

   Satz 1: "Morgen stehen Mathematik und Informatik auf dem Stundenplan."

   Verneinung von Satz 1: "Morgen steht nicht Mathematik oder nicht Informatik auf dem Stundenplan."

   Satz 2: "Morgen steht Mathematik oder Informatik auf dem Stundenplan."

   Verneinung von Satz 2: "Morgen stehen weder Mathematik noch Informatik auf dem Stundenplan." oder "Morgen stehen nicht Mathematik und nicht Informatik auf dem Stundenplan."

   Welcher Satz ist jeweils die negierte Aussage?

   1. "Morgen steht Mathematik oder Informatik auf dem Stundenplan."
   2. "Morgen stehen Mathematik und Informatik auf dem Stundenplan."
   3. "Morgen steht nicht Mathematik oder nicht Informatik auf dem Stundenplan."
   4. "Morgen steht entweder Mathematik oder Informatik auf dem Stundenplan."
   5. "Morgen stehen weder Mathematik noch Informatik auf dem Stundenplan."
   6. "Morgen stehen nicht Mathematik und nicht Informatik auf dem Stundenplan."

2. Finde jeweils zu den mathematischen Aussagen die negierte Form!

   Aussage:	x > 5 Ù x < 10	x > 5 Ú x < 0
   Verneinte Aussage:	x £ 5 Ú x ³ 10	x £ 5 Ù x ³ 0

3. Finde jeweils zu den Kara-Bedingungen die negierte Form!

   Bedingung:	kara.treeFront() && kara.treeRight()
   Verneinung:	!kara.treeFront() || !kara.treeRight()
   Bedingung:	kara.treeFront() || kara.treeRight()
   Verneinung:	!kara.treeFront() && !kara.treeRight()
   Bedingung:	kara.treeFront() && !kara.onLeaf()
   Verneinung:	!kara.treeFront() || kara.onLeaf()
   Bedingung:	!kara.treeFront() || !kara.treeLeft()
   Verneinung:	kara.treeFront() && kara.treeLeft();
   Bedingung:	kara.treeLeft() && kara.treeFront() && kara.treeRight()
   Verneinung:	!kara.treeLeft() || !kara.treeFront() || !kara.treeRight()
   Bedingung:	(kara.treeLeft() && kara.treeRight()) || kara.onLeaf()
   Verneinung:	(!kara.treeLeft() || !kara.treeRight()) && !kara.onLeaf()

4. Formuliere eine Regel für das Negieren von zusammengesetzten Bedingungen!

   "Zwei durch UND bzw. ODER zusammengesetzte Bedingungen werden negiert, indem man UND und ODER vertauscht und die Bedingungen einzeln negiert."