ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Первая труба заполняет бассейн за 5 часов, а вторая за 10.
Пошаговое объяснение: Через первую за Х часов , через вторую за (Х+5) часов. В час первая труба наполняет 1/Х часть бассейна, вторая 1(Х+5) часть.
(10/3)*(1/Х)+(10/3)/(Х+5)=1
10Х+50=3*Х*Х+15Х
3Х*Х-5Х=50
Можно решить квадратное уравнение, а можно сразу увидеть корень х=5.
Привести уравнение к виду (х-5)(3х+10)=0
Видим, что второе решение отрицательно и не имеет смысла.
ответ : Первая труба заполняет бассейн за 5 часов, а вторая за 10.
Проверяем : За 10 часов они должны вместе заполнить 3 бассейна.
10*(1/5)+10/10=3
Меня зовут мария . Мне 12 лет. Я хочу рассказать о своей лучшей подруге. Её зовут Аня. Она моя ровесница, мы учимся в одном классе. Аня очень красивая и умная девочка. Она очень целеустремлённая, старательная и терпеливая. Всегда добивается своего, как трудно бы не было. Аня учится очень хорошо, она «отличница». Её любимые предметы в школе – математика и литература. Аня очень любит рисовать. Уже четыре года она занимается в художественной школе. Ещё она очень аккуратная и вежливая. Аня с удовольствием маме по хозяйству. Мы с ней вместе любим смотреть комедии и мультфильмы. Аня общительная и весёлая. С ней всегда интересно. В трудную минуту на неё можно положиться, зная, что она всегда Аня замечательная подруга. Если мы ненадолго расстаёмся, то мне сильно её не хватает.