p, q, x1, x_2. Константе: 0, 1, ⊤, ⊥.~ ! not или p'; ∧ & /\ and · или само pq; ∨ | \/ or +;
⇒ -> =>; ⇔ <-> <=>; ⊻ ^ xor ⊕; ↑ nand; ↓ nor.T(0,2,5,7) (T као таблица), и по жељи небитне вредности d(1,3). Промењиве су p, q, r, s (или унете у формули).