path: root/48/CH4/EX4.7/eg_4_7.sce

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");