faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [22.04.2024 12:58] – [Beispiel] Marco Kuemmelfaecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel
Zeile 16: Zeile 16:
     * NOT: ¬     * NOT: ¬
   * Beim Rechnen gelten - ähnlich wie die Punkt vor Strich Regeln: **"Klammer vor NOT vor AND vor OR"**    * Beim Rechnen gelten - ähnlich wie die Punkt vor Strich Regeln: **"Klammer vor NOT vor AND vor OR"** 
 +
 +<callout type="danger">
 +
 +Die Verknüpfung mit **UND ∧** nennt man **Konjunktion**\\
 +Die Verknüpfung mit **ODER ∨** nennt man **Disjunktion**\\
 +
 +</callout>
  
 ===== "Rechenregeln" der Schaltalgebra ===== ===== "Rechenregeln" der Schaltalgebra =====
Zeile 93: Zeile 100:
 $$(\lnot x_0 \land x_1) \land (\lnot x_2 \lor x_2)$$ $$(\lnot x_0 \land x_1) \land (\lnot x_2 \lor x_2)$$
  
 +wird.
  
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A2) ===
  
-===== Aufgaben =====+Vereinfache die folgenden logischen Terme: 
 + 
 +  * $f x_1\land(\lnot x_2) \lor x_1\land x_2$ 
 +  * $g x_1\land (\lnot x_2)\land x_3 \lor x_1\land(\lnot x_2)\land(\lnot x_3) \lor (\lnot x_1)\land (\lnot x_2)\land (\lnot x_3) $ 
 +  * $h (\lnot x_1)\land (\lnot x_2)\land(\lnot x_3) \lor (\lnot x_1)\land(\lnot x_2)\land x_3 \lor (\lnot x_1)\land x_2\land x_3 \lor x_1\land (\lnot x_2)\land (\lnot x_3) \lor  x_1\land x_2 \land x_3 \lor x_1 \land x_2\land ( \lnot x_3) $
    
 +
  • faecher/informatik/oberstufe/techinf/formale_logik/grundlagen/start.1713790700.txt.gz
  • Zuletzt geändert: 22.04.2024 12:58
  • von Marco Kuemmel