Uttryck bikonditionalen A ↔ B med endast OCH, ELLER och INTE operatorer.