clear;
clc;
disp("T(x,y,z)=x^y^z^+x^y^z+x^yz+xyz+xy^z+xy^z^");
disp("the complement T^ consists of those minterms which are not contained in the expression for T");
disp("T=[x^yz^+xyz^]^");
disp("(x+y^+z)(x^+y^+z)");