)) В® $ z (B (x) В® C (z));
а. Привести вираз до виду ПНФ:
F = " x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® < span align = "justify"> C (z))) В® $ z (B (x) В® C (z)) =
= Г? ( " < span align = "justify"> x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® C (z)))) V $ z (B (x) В® C (z) ) =
= Г? " x (B (x) В® A (y)) V Г? (B (x) span> В® " y (A (y) В® C (z))) V $ z (B (x) В® C (z)) =
= Г? " x ( Г? B (x) VA (y)) V Г? ( Г? B (x) V " y ( Г? A (y) VC (z))) V $ z ( Г? B (x) VC (z)) =
= Г? " x ( Г? B (x) VA (y)) V (B (x) & Г? "