Question

大学数学，离散数学问题

大学数学，离散数学问题如下图，划线部分没看懂，大神求指教（｡ò ∀ ó｡）

Answer 1

从4到5相当于分配律，即a^(bvc)=(a^b)v(a^c);
从5到6相当于结合律，即avbvc=(avb)vc，这之中，由于F(x)->G(x)，所以结合的时候就去掉了G(x)部分，只剩“非F(y)v非H(y)”