Przykład
Dwuargumentowa funkcja logiczna przyjmującą wartość logiczną 1 w przypadku gdy argumenty są sobie równe (DO Dl).
r (ANO. OR. NOTl. T |D0.011_ j
W metajęzyku
( NOT (DOI) AND [ NOT (Dl))) OR (DO AND D1)
W notacji polskiej
OR i AND i NOT DO ii NOT D11II AND DO D1))