1. Логическое выражение истинно только при одном наборе значений переменных.
2. Следовательно, одна из переменных должна иметь фиксированное значение, чтобы выражение было истинным.
3. Другая переменная может принимать любые значения (0 или 1), если это не противоречит условию истинности.