%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% THE INTRO TO AI SHOW
%%% Summer Session I 1999
%%%
%%% DEMO (trivial):
%%% Showing reduction of boolean f to formulas having
%%% only OR and NOT.
%%%
%%% Selmer Bringsjord
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).
formula_list(usable).

(P & Q & R) -> (S | T).

end_of_list.