|
Читайте также: |
В алгебре логики существует ряд законов и тождественных соотношений, которые применяются для преобразования логических выражений. Они могут быть доказаны путем подстановки в левую и правую части всех наборов аргументов, входящих в логическое выражение.
Тождества имеют вид:
,
,
.
Из этих тождеств следует:
- если аргумент равен нулю, то его отрицание равно единице и наоборот;
- если хотя бы один сомножитель равен нулю, то произведение всегда будет равно нулю;
- если хотя бы одно слагаемое равно единице, то сумма всегда будет равна единице.
Дата добавления: 2015-07-25; просмотров: 53 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| ФАЛ дизъюнкция | | | Законы алгебры логики |