Bijunktion
Aussagenlogischer Begriff entspricht dem "genau dann, wenn?. Die zugehörige Wahrheitstafel lautet:
| \(A\) | \(B\) | \(Aleftrightarrow B\) |
| W | W | W |
| W | F | F |
| F | W | F |
| F | F | W |
Diese Aussage ist nur dann wahr, wenn A und B wahr sind oder wenn A und B falsch sind.