On Thu, Mar 17, 2022 at 06:05:20PM +0800, Haowen Bai wrote:> The logic !A || A && B is equivalent to !A || B. so we have> to make code clear.But the logic here is: (!A || (A && B))not: (!A || A && B)as you write.Is that the same? I don't want to have to dig up my son's logictextbook...How did you test this?thanks,greg k-h