ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Из условия нам известно, что один из острых углов прямоугольного треугольника равен 60°, а разность гипотенузы и меньшего катета равна 28 см.
Давайте прежде всего найдем третий угол прямоугольного треугольника, зная, что сумма углов треугольника равна 180°.
180° - 90° - 60° = 30° третий угол треугольника.
Известно, что катет лежащий напротив угла в 30° равен половине гипотенузы, а так же известно, что напротив меньшего угла прямоугольного треугольника лежит меньшая сторона.
Составим и решим уравнение.
Пусть меньший катет равен x, а гипотенуза равна 2x.
Исходя из условия:
2x - x = 28;
x = 28 см катет прямоугольного треугольника.
Ищем гипотенузу 2x = 2 * 28 = 56 см.
2) 15-13=2(ст.)- останется стульев