|
|
|
Словарь |
|
Термин булевой алгебры, определяет, какое значение 1 или 0 надо добавить к выражению, чтобы выражение равнялось 1. Это - труднорешаемая задача. Если Вы считаете, что в описании термина "satisfiability problem" есть ошибка, пожалуйста, сообщите нам. |
||
|
Copyright by MorePC - обзоры, характеристики, рейтинги мониторов, принтеров, ноутбуков, сканеров и др. | info@morepc.ru |
|