Talán nem lenne logikátlan, ha K-t elneveznénk igaznak (t=true), a KI-t meg hamisnak (f=false), és logikai műveleteket definiálnák, figyelembe vége az alábbi szabályt:

tab = a
fab = b

Ennek alapján ilyesmiket találhatunk (nem, és, vagy, egyenlő, különbözik, következik).

n = Vf,  nzw = Vftz  = zft = not z
a = Rf,  azw = Rfzw  = zwf = z and w
o = Tt,  ozw = Ttzw  = ztw = z or w
e = CSn, ezw = CSnzw = Sznw = zw(nw) = z equal w
x = Ben, xzw = Benzw = e(nz)w = (not z) equal w = z xor w
i = Rt,  izw = Rtzw  = zwt = z -> w