Hallo Rolf,
- Ist
A == TRUE
, ist der rechte Teil relevant, aber die AND-Verknüpfung mit A unnötig weil Du jetzt ja weißt, dass A wahr ist.Also:
!A || (A && B)
ist dasselbe wie!A || B
Wenn Dich die Argumentation nicht überzeugt, vergleiche die Wahrheitstabellen. Diese Kenntnis dieser Transformation ist genau so wichtig wie die De-Morgan Regeln.
Die Argumentation ist für mich absolut logisch und nachvollziehbar.
Ich wußte aber tatsächlich nicht, dass man das !A || (A && B)
<==> !A || B
in php nutzen darf.
Danke für den Hinweis,
Pit