%%% Assignment 2
%%% Extra Credit Problem
%%%
%%% 30 pts
%%% Out Thursday Sep 14
%%% Due Thursday Sep 21
%%%
%%% Give proof terms for those among the following
%%% propositions which are true.

term NotAnd1 : ~(A & B) => ~A | ~B;
term NotAnd2 : ~A | ~B => ~(A & B);
term NotT1   : ~T => F;
term NotT2   : F => ~T;
term NotImp1 : ~(A => B) => A & ~B;
term NotImp2 : A & ~B => ~(A => B);
term NotOr1  : ~(A | B) => ~A & ~B;
term NotOr2  : ~A & ~B => ~(A | B);
term NotF1   : ~F => T;
term NotF2   : T => ~F;