包含

論理演算の一つ。条件ビットが真にもかかわらず結果ビットが偽であるときのみ偽を返し、それ以外のときに真を返す。

aからbの包含は~a+bと表される。



真偽値表(aからbの包含)

  a     b    結果
FALSE FALSE  TRUE
FALSE  TRUE  TRUE
 TRUE  TRUE  TRUE
 TRUE FALSE FALSE