* логика. ДНФ. метод Петрика

[Kornelij]

Помогите решить задачу: нужно для булевой функции $xw\vee \bar{y}z \vee y\bar{w} \vee x\bar{y}z\bar{w} \vee \bar{x}yzw$ методом Петрика построить все тупиковые и минимальные ДНФ.
Может, есть где-то онлайн-калькулятор, который решает такую задачу? Я честно пытался разобраться, но не осилил. Или может где-то есть нормально написанный пример? Или книжка, где эта тема доходчиво изложена? Все примеры, которые я нахожу в интернете, используют много терминов, которых нам не давали (напримар, "конституент единицы").