¬XORは
AB
11 1
10 0
01 0
00 1
で AならばB に近い機がするんですがどうでしょうか?

A→Bは
AB
11 1
10 0
01 ー
00 ー (ー ・・・ どちらともいえない )
というのはいかがでしょうか?