liegt vor wenn zwei unterschiedliche logische Aussagen in jedem Fall denselben Wahrheitswert annehmen. Wird durch den Pfeil "⇔" ausgedrückt.