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