ответ:Формулы не в КНФ:
{\displaystyle \neg (B\vee C),}{\displaystyle (A\wedge B)\vee C,}{\displaystyle A\wedge (B\vee (D\wedge E)).}
Но эти 3 формулы не в КНФ эквивалентны следующим формулам в КНФ:
{\displaystyle \neg B\wedge \neg C,}{\displaystyle (A\vee C)\wedge (B\vee C),}{\displaystyle A\wedge (B\vee D)\wedge (B\vee E).}
Пошаговое объяснение:
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
ответ:
пошаговое объяснение:
число выпадения гербов подчинено биномиальному закону с параметрами n=6, p=q=0,5.
вероятность выпадения герба k < 6 раз вычисляется по формуле бернулли
p(k)=(с из 6 по k)•p^k•q^(n-k).
менее двух раз это ноль или один раз, поэтому
p(k < 2)=p(0)+p(1).
p(0)= (с из 6 по 0)•0,5^6=0,015625;
p(1)= (с из 6 по 1)•0,5^6=6•0,015625= 0,09375.
p(k < 2)=p(0)+p(1)= 0,109375.
не менее двух раз это противоположное событие тому, что герб выпадет менее двух раз, поэтому
p(k > = 2)=1-p(k < 2)=1-0,109375=0,890625.
