同値

どうち

• (logical) equivalence n adj-no