(z^x->y) -> z^(z^x->y) -> not(y) -> дизъюнкция -> + z^(z^x->y). Вроде бы так, потому что, насколько помню, отрицание имеет высший приоритет, затем дизъюнкция и т.д.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.