日外35万語科学技術用語大辞典 ページ 1763 での【biconditional operation】単語。