We use the operations ¬  (negation), ∧  (conjunction or meet), ∨  (disjunction or join), →  (implication), ↔  (biconditional), +  (exclusive disjunction or Boolean ring addition), ↛  (nonimplication), ?: (the ternary conditional operator) and the constant unary functions 0 and 1. Moreover, we need the threshold functions
We use the operations ¬ , Np, (negation), ∧ , Kpq, (conjunction or meet), ∨ , Apq, (disjunction or join), → , Cpq, (implication), ↔ , Epq, (biconditional), + , Jpq (exclusive disjunction or Boolean ring addition), ↛ , Lpq,Jozef Maria Bochenski (1959), Precis of Mathematical Logic, Part II, "Logic of Sentences", Sec. 3.23,"'Np,'" Sec. 3.32, "16 dyadic truth functors", pp. 10-11. (nonimplication), ?: (the ternary conditional operator) and the constant unary functions 0 and 1. Moreover, we need the threshold functions
A
, Np,
A
, Kpq,
A
, Apq,
A
, Cpq,
A
, Epq,
A
, Jpq
A
, Lpq,Jozef Maria Bochenski (1959), Precis of Mathematical Logic, Part II, "Logic of Sentences", Sec. 3.23,"'Np,'" Sec. 3.32, "16 dyadic truth functors", pp. 10-11.