clc;
clear;
disp("f=x^y+xz+y^z^");
disp("since x^y is a prime implicant neither x^ nor y alone implies f");
disp("only x^y are covered by f");