Formelsammlung Elektrotechnik: Implikation