blab.xml

<?xml version="1.0" encoding="UTF-8"?>
<unit name="Logic">
   <reg name="c" builtin="true" type="BOOLEAN">
      <becomes>
         <dyadic-expression op="|">
            <dyadic-expression op="|">
               <dyadic-expression op="&amp;">
                  <monadic-expression op="~">
                     <selector-expression unit="Logic" variable="a" inner="none" />
                  </monadic-expression>
                  <selector-expression unit="Logic" variable="b" inner="none" />
               </dyadic-expression>
               <selector-expression unit="Logic" variable="c" inner="none" />
            </dyadic-expression>
            <constant-expression type="BOOLEAN">true</constant-expression>
         </dyadic-expression>
      </becomes>
   </reg>
   <reg name="p" builtin="true" type="TRILEAN">
      <becomes>
         <constant-expression type="BOOLEAN">true</constant-expression>
      </becomes>
   </reg>
   <reg name="q" builtin="true" type="TRILEAN">
      <becomes>
         <constant-expression type="BOOLEAN">false</constant-expression>
      </becomes>
   </reg>
   <reg name="r" builtin="true" type="TRILEAN">
      <becomes>
         <ternary-expression>
            <dyadic-expression op="=">
               <selector-expression unit="Logic" variable="r" inner="none" />
               <constant-expression type="TRILEAN">null</constant-expression>
            </dyadic-expression>
            <dyadic-expression op="|">
               <dyadic-expression op="|">
                  <dyadic-expression op="&amp;">
                     <selector-expression unit="Logic" variable="p" inner="none" />
                     <monadic-expression op="~">
                        <selector-expression unit="Logic" variable="q" inner="none" />
                     </monadic-expression>
                  </dyadic-expression>
                  <selector-expression unit="Logic" variable="r" inner="none" />
               </dyadic-expression>
               <constant-expression type="BOOLEAN">true</constant-expression>
            </dyadic-expression>
            <constant-expression type="TRILEAN">null</constant-expression>
         </ternary-expression>
      </becomes>
   </reg>
   <reg name="a" builtin="true" type="BOOLEAN">
      <becomes>
         <constant-expression type="BOOLEAN">true</constant-expression>
      </becomes>
   </reg>
   <reg name="b" builtin="true" type="BOOLEAN">
      <becomes>
         <constant-expression type="BOOLEAN">false</constant-expression>
      </becomes>
   </reg>
</unit>