 In Kleene’s (strong) three-valued logic K3, with \(i\) as a third value in addition to 0 and 1, the truth function \(f_{\osim }\) for negation \(\osim \) is defined by the same table as the table for negation in Ł\(_3\), replacing \(\frac{1}{2}\) by \(i\):