Changes

→‎Work Area: make version with overlines for negation
Line 1,282: Line 1,282:  
| infer
 
| infer
 
| <math>(q)\!</math>
 
| <math>(q)\!</math>
 +
| next.
 +
| &nbsp;
 +
|}
 +
|}<br>
 +
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 +
| &nbsp;
 +
| From
 +
| <math>\overline{q}\!</math>
 +
| and
 +
| <math>\overline{\operatorname{d}q}\!</math>
 +
| infer
 +
| <math>\overline{q}\!</math>
 +
| next.
 +
| &nbsp;
 +
|-
 +
| &nbsp;
 +
| From
 +
| <math>\overline{q}\!</math>
 +
| and
 +
| <math>\operatorname{d}q\!</math>
 +
| infer
 +
| <math>q\!</math>
 +
| next.
 +
| &nbsp;
 +
|-
 +
| &nbsp;
 +
| From
 +
| <math>q\!</math>
 +
| and
 +
| <math>\overline{\operatorname{d}q}\!</math>
 +
| infer
 +
| <math>q\!</math>
 +
| next.
 +
| &nbsp;
 +
|-
 +
| &nbsp;
 +
| From
 +
| <math>q\!</math>
 +
| and
 +
| <math>\operatorname{d}q\!</math>
 +
| infer
 +
| <math>\overline{q}\!</math>
 
| next.
 
| next.
 
| &nbsp;
 
| &nbsp;
 
|}
 
|}
 
|}
 
|}
12,080

edits