ch:＝(e and f)xor((not e)and g)