Added example proofs for each boolean rule.

Author: Ian D

doc/proofs/boolean/pf-bd.tle

@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<proof mode="standard" version="1.0">
+ <goals>
+  <goal t="^"/>
+  <goal t="!"/>
+ </goals>
+ <premises>
+  <entry n="1" t="A &amp; ^"/>
+  <entry n="2" t="C | !"/>
+ </premises>
+ <conclusions>
+  <entry n="3" l="33" r="1" d="0" t="^"/>
+  <entry n="4" l="33" r="2" d="0" t="!"/>
+ </conclusions>
+</proof>

doc/proofs/boolean/pf-bi.tle

@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<proof mode="standard" version="1.0">
+ <goals>
+  <goal t="B"/>
+  <goal t="A"/>
+ </goals>
+ <premises>
+  <entry n="1" t="B &amp; !"/>
+  <entry n="2" t="A | ^"/>
+ </premises>
+ <conclusions>
+  <entry n="3" l="31" r="1" d="0" t="B"/>
+  <entry n="4" l="31" r="2" d="0" t="A"/>
+ </conclusions>
+</proof>

doc/proofs/boolean/pf-bn.tle

@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<proof mode="standard" version="1.0">
+ <goals>
+  <goal t="^"/>
+  <goal t="!"/>
+ </goals>
+ <premises>
+  <entry n="1" t="A &amp; ~A"/>
+  <entry n="2" t="B | ~B"/>
+ </premises>
+ <conclusions>
+  <entry n="3" l="32" r="1" d="0" t="^"/>
+  <entry n="4" l="32" r="2" d="0" t="!"/>
+ </conclusions>
+</proof>

doc/proofs/boolean/pf-sn.tle

@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<proof mode="standard" version="1.0">
+ <goals>
+  <goal t="!"/>
+  <goal t="^"/>
+ </goals>
+ <premises>
+  <entry n="1" t="~^"/>
+  <entry n="2" t="~!"/>
+ </premises>
+ <conclusions>
+  <entry n="3" l="34" r="1" d="0" t="!"/>
+  <entry n="4" l="34" r="2" d="0" t="^"/>
+ </conclusions>
+</proof>