Describing two → compound propositions → if and only if they have the same → truth table.
See also: → logical; → equivalent.