在逻辑学中，互斥（Mutually Exclusive）是一种逻辑关系，指几个变量或事件之中的任一个不可能与其它一个或多个同时为真，或同时发生的情况。对于逻辑函数，其变量互斥，意味着两个以上变量为真（包括都不为真）的情况会导致函数值为假。对于事件，其所有条件的互斥意味着，任两个条件的实现都将阻止事件的产生。同样可以引申到进程编写及其它关系。
比如一个最简单的情况下，投掷一枚硬币，硬币不可能同时出现既为正也为反；两个结果互斥。

In logic and probability theory, two propositions (or events) are mutually exclusive or disjoint if they cannot both be true (occur). A clear example is the set of outcomes of a single coin toss, which can result in either heads or tails, but not both.