Упростите выражение: (c+b)(c-b)-(5c*5c-b*b)

Например, каждое из следующих выражений есть предикат от x: 5 делит x; х2 + x + 1 > 0; x любит Джона; х2 = 2; 0 < x. Теперь можно … ОМТД ¬B → ¬A, ¬B → A |— B ОМТД Применение метатеоремы о дедукции и следствий из нее позволяет упрощать построение выводов и.. .
imath.kiev.ua