564 B
564 B
title, localeTitle
| title | localeTitle |
|---|---|
| Satisfiability | выполнимости |
выполнимости
Формула P считается выполнимой, если она иногда верна для некоторого присваивания переменным true / false.
Пример:
- x ^ y: Сложно с x = T, y = T
- xvy -> x: Удовлетворяет х = T, y = F
Если нет заданий, то это считается неудовлетворительным.