Subato

(Objektorientierte Softwareentwicklung WS 2020)

Exercise Sheet 9

Übungen in Java 16 mit Logik

Due Date: 2021-01-31 23:15:00.0

In diesem Übungsblatt werden ein paar der neuen Preview Features aus Java 16 verwendet, um mit einem Datentyp für aussagenlogischen Formeln zu arbeiten.

  • Exercise 1 Aussagenlogische Formeln Auswerten
    Auswertung einer Formel mit einer Interpretation
  • Exercise 2 Aussagenlogische Formel Implikation Umformen
    Implikationen durch Disjunktionen ersetzen
  • Exercise 3 Aussagenlogische Formel Implikation Umformen mit Everywhere
    Implikationen durch Disjunktionen ersetzen
  • Exercise 4 Aussagenlogische Formel: Negationen nach innen
    Umformung aussagenlogischer, so dass Nagationen direkt vor Atomen stehen
  • Exercise 5 Aussagenlogische Formel: Ausmultiplizieren von Und und Oder
    Umformung aussagenlogischer Formeln, so dass Disjunktionen unter Konjunktionen stehen.