Дозволені операції

¬ логічне НЕ	∧ логічне ТА	∨ логічне АБО	→ імплікація
⊕ сума за модулем 2	↔ еквівалентність	↓ стрілка Пірса	| штрих Шеффера

Алфавіт: A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  ( ) 0 1