<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>Advanced Examples</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#C7C3C7" LINK="#0000EF" VLINK="#51188E" ALINK="#FF0000">
<H2>Some Advanced Examples </H2>
Be cautious: some of the following formulae have big proofs!
<HR>
<TT>
<DL>
<DD> => (((a & b) v (a->f) v (b->f))->f)->f</DD>
<DD> => (a & b & c v ((a->f) v (b->f) v (c->f))->f)->f</DD>
<DD> => d&(b->b->a)&(c->c->b)&(d->d->c)->a</DD>
</DL>
</TT>
<HR>
<ADDRESS>
<A HREF="mailto:Christian.Urban@cl.cam.ac.uk">Christian Urban</A></ADDRESS>
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
<!-- hhmts start -->
Last modified: Sun Nov 23 20:20:31 GMT 1997
<!-- hhmts end -->
</BODY>
</HTML>