There are four cases that can be interpreted as follows: nec ⁡ ( U ) = 1 {\displaystyle \operatorname {nec} (U)=1} means that U {\displaystyle U} is necessary.
Є чотири випадки, які можна інтерпретувати так: nec ⁡ ( U ) = 1 {\displaystyle \operatorname {nec} (U)=1} означає що U {\displaystyle U} - необхідна.