The result is that the truth of either one of the connected statements requires the truth of the other, i.e., either both statements are true, or both are false.
В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны.