エの解説ですが、
Y＝B or G＝0 or 1＝1
は、
Y＝B or G＝0 and 1＝0

ではないでしょうか？

ご報告ありがとうございます。以下のように訂正させていただきました。

X＝A and G＝1 and 0＝0
Y＝B and G＝0 and 1＝0
⇒G＝0のとき X≠A になるので誤りです。