Понимание сколемовской нормальной формы: практические примеры