Logical Equivalence Applet

</COMMENT>