sample page

A tutorial page might look a little like this...

...some logic ...

(*)    (A&B)v(A&~B)


etc.......

 

The table shows that (*) is
         logically equivalent in SL to A.
         not logically false in SL.
         not logically true in SL.