Aussagenlogik ►Subjunktion ►Identität Nr.1 (Umwandlung in ODER)