分かりづらいかも
aが1,bが0や10万など、『aが1のときにbが3ではない』要素を全部消して残るのは、
aが1で、bが3である部分のみ。
AならばB = (AかつBではない)ではない部分