Читайте также:
|
Используя равносильности групп 1–3 можно часть формулы или формулу заменить равносильной ей формулой. Такие преобразования формул называются равносильными.
Равносильные преобразования используются для доказательства равносильностей, для приведения формул к заданному виду, для упрощения формул. Формула Aсчитается проще равносильной ей формулы B, если она содержит меньше букв, меньше логических операций. При этом обычно операции эквивалентность и импликация заменяются операциями дизъюнкции и конъюнкции, а отрицание относят к элементарным высказываниям.
Основные равносильности
Закон двойного отрицания
Идемпотентность
Коммутативность
Ассоциативность
Дистрибутивность
Законы де Моргана
Формулы с константами
Дата добавления: 2015-08-10; просмотров: 69 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Семей қаласының Шәкәрім атындағы мемлекеттік университетінің жатақханада тұрудың рейтингілік жүйесі | | | ИНСТРУМЕНТЫ И ПРИСПОСОБЛЕНИЯ |