Гиперболоид
незамкнутая центральная поверхность 2-го порядка
логические формулы A и B, при которых формула (A → B) & (B → A) окажется общезначимой; обозначается либо A ≡ B, либо A ⇔ B
Определение 3
Равносильными называются логические выражения, последние столбцы таблиц истинности...
Равносильность обозначается с помощью знака $«=»$....
таблицы истинности основных логических операций....
Выписывают искомую формулу как дизъюнкцию нескольких логических выражений....
логическую функцию.
функции представимы в виде формул неоднозначно....
С помощью приведенных выше правил и законов можно преобразовывать одни логические формулы в другие, которые...
им равносильны....
Определение 3
Равносильные формулы – это формулы, которые представляют одну и ту же логическую функцию...
На практике чаще всего стремятся минимизировать формулу, т.е. записать ее в наиболее простом виде.
незамкнутая центральная поверхность 2-го порядка
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!