Нуль
число, обладающее свойствами: a ± 0 = a, a ⋅ 0 = 0; деление на нуль невозможно
логические формулы A и B, при которых формула (A → B) & (B → A) окажется общезначимой; обозначается либо A ≡ B, либо A ⇔ B
Определение 3
Равносильными называются логические выражения, последние столбцы таблиц истинности...
Равносильность обозначается с помощью знака $«=»$....
таблицы истинности основных логических операций....
Выписывают искомую формулу как дизъюнкцию нескольких логических выражений....
логическую функцию.
функции представимы в виде формул неоднозначно....
С помощью приведенных выше правил и законов можно преобразовывать одни логические формулы в другие, которые...
им равносильны....
Определение 3
Равносильные формулы – это формулы, которые представляют одну и ту же логическую функцию...
На практике чаще всего стремятся минимизировать формулу, т.е. записать ее в наиболее простом виде.
число, обладающее свойствами: a ± 0 = a, a ⋅ 0 = 0; деление на нуль невозможно
множество, в котором не существует связного подмножества, содержащего более одной точки
угол, образованный лучом, вращающимся по часовой стрелке