Решить: 1. нужно равносильными преобразованиями каждую из следующих формул к дизъюнктивной нормальной форме: а) (x↔y) ∧ ¬ (z→ t) б) ((x → y) → (z→ ¬ x)) → (y→ ¬z)

Последовательности длиной 7, содержащей 5 букв А могут быть следующими:
** (* - любой из символов В или С)
*А*
ААА*АА*
АА*ААА*
А**
** (пока 6 вариантов)
Далее - аналогично:
**А
ААА*А*А
АА*АА*А
А*ААА*А
**А (ещё 5 вариантов)
ААА**АА
АА*А*АА
А*АА*АА
*ААА*АА (ещё 4 варианта)
АА**ААА
А*А*ААА
*АА*ААА (ещё 3 варианта)
А**
*А* (ещё 2)
** (ещё 1)
Итого: 6+5+4+3+2+1=21
Так как на месте * могут быть любые из 2 символов В или С, то это даст ещё по 4 варианта для каждого случая.
Можно здесь, конечно, комбинаторику вспомнить.
Итого: 21*4 = 84

Для того что бы округлить нужно использовать "=ОКРУГЛ" данная команда округляет число до указанного количества десятичных разрядов, цифр после запятой. (что бы округлить сумму нужно записывать количество десятичных разрядов в конце выражения). Пример:«=ОКРУГЛ(выражение);число)»

Дано:

Математическое выражение:
«(89+75)−2(72:(3+7))»

Найти:
Значение выражения и округлить его в MS Ecxel.

Формула (Её нужно ввести в окошко Excel и нажать "Enter"):
«=ОКРУГЛ((89+75)-2*(72/(3+7));2)»

ответ:
149,6

(До сотых программа округлить не может, ибо число имеет только десятые в ответе)

Далее скриншот, и файл Excel в котором формула и сам ответ.