Notation in Java

• Negation: !x

  (vgl. auch Ausrufezeichen in a != b)

• Disjunktion: x || y
• Konjunktion: x && y
• Implikation: (mathematisch x$\to$y)

  In Java wäre x <= y (kleiner-oder-gleich bzgl. false < true) denkbar, aber das gibt es tatsächlich nicht.