Class K3LogicHelper
public static class K3LogicHelper
- Inheritance
-
K3LogicHelper
- Inherited Members
Methods
And(K3, K3)
Branchless AND.
public static K3 And(K3 a, K3 b)
Parameters
Returns
And(object?, object?)
Branchless AND.
public static bool? And(object? a, object? b)
Parameters
Returns
- bool?
BoolToK3(bool?)
public static K3 BoolToK3(bool? value)
Parameters
valuebool?
Returns
K3ToBool(K3)
public static bool? K3ToBool(K3 value)
Parameters
valueK3
Returns
- bool?
Not(K3)
Branchless NOT.
public static K3 Not(K3 a)
Parameters
aK3
Returns
Not(object?)
Branchless NOT.
public static bool? Not(object? a)
Parameters
aobject
Returns
- bool?
Or(K3, K3)
Branchless OR.
public static K3 Or(K3 a, K3 b)
Parameters
Returns
Or(object?, object?)
Branchless OR.
public static bool? Or(object? a, object? b)
Parameters
Returns
- bool?
Xor(K3, K3)
Branchless XOR via direct LUT (matches XorDerived).
public static K3 Xor(K3 a, K3 b)
Parameters
Returns
Xor(object?, object?)
Branchless XOR via direct LUT (matches XorDerived).
public static bool? Xor(object? a, object? b)
Parameters
Returns
- bool?
XorDerived(K3, K3)
XOR computed via the derived definition: A ⊕ B = (A ∨ B) ∧ ¬(A ∧ B)
public static K3 XorDerived(K3 a, K3 b)
Parameters
Returns
XorDerived(object?, object?)
XOR computed via the derived definition: A ⊕ B = (A ∨ B) ∧ ¬(A ∧ B)
public static bool? XorDerived(object? a, object? b)
Parameters
Returns
- bool?