 |
| |||
| может быть истинным (выражение satisfiable, если возможно найти некоторые значения/модель, при которых она истинна shirokova91) | |||
|
| |||
| может быть истинным (выражение satisfiable, если возможно найти некоторые значения/модель, при которых она истинна shirokova91) | |||