In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.

在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。

youdao

Use when the number of options is large, the space is constrained, and the list of items can be logically grouped into smaller, roughly equal sized chunks.

当选项的数量比较多,页面空间有限,并且可以对选项列表有逻辑的进行归类,分成更小的,内容数量基本一致的内容块.

youdao

Because of these changes, Numbers that would logically be equal may have changes in their least-significant digits that cause them to have different values.

由于这些变化，逻辑上相等的数字其最低有效位数可能会发生变化，从而导致它们具有不同的值。

youdao

Logically, we could expect a MAXIMUM success rate equal to the success we find in the general population.

FORBES: Shift Work Can Lead to Increased Risk of Heart Attack and Stroke

If rape was once a tool of male domination of women, since women were now becoming equal with men, they must becoming men, or at least male, which logically demands that they now start raping men.

FORBES: Russian Sex Slave Saga: The Ballad of Viktor and Olga