A biconditional is an operation on two statements that creates another statement. If both the first and second statements are the same then the biconditional statement is true. The biconditional can be thought of as an operation which only outputs true if both its inputs are equal.
The biconditional can be written as follows:
Alternatively it can also be written as:
| B | ||
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |