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

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