F = X ≡ Y → Z G = X ∨ Y…

Порядок операций: сначала отрицание, затем конъюнкция, дизъюнкция, импликация, и последней эквивалентность.

1. Y = , поэтому $\overline{}$.
2. В выражении $\overline{}$ скобка равна , значит .
3. G = только если X = и Z = .
4. Вычисляем F при X = , Y = , Z = :
   $\overline{}\overline{}$
   
   $\overline{}$

Промежуточные значения для шаблона: $\overline{}$, $\overline{}$, $\overline{}$, , , .