Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 17:24, 20 May 2007

17 bytes added , 17:24, 20 May 2007

cleanup

Line 1: Line 1:

----

----

−

<font size=4>'''Propositional Equation Reasoning Systems'''</font>

+

<font size=4>'''Propositional Equation Reasoning Systems'''</font><br>

−

<br>

----

----

Line 3,479: Line 3,478:

===Related concepts and topics===

===Related concepts and topics===

−

{|

+

−

~~| valign=top |~~

+

{{col-begin}}

+

{{col-break}}

* [[Ampheck]]

* [[Ampheck]]

* [[Boolean algebra]]

* [[Boolean algebra]]

Line 3,490: Line 3,490:

* [[Entitative graph]]

* [[Entitative graph]]

* [[Existential graph]]

* [[Existential graph]]

−

~~| valign=top |~~

+

{{col-break}}

* [[Graph (mathematics)|Graph]]

* [[Graph (mathematics)|Graph]]

* [[Graph theory]]

* [[Graph theory]]

Line 3,500: Line 3,500:

* [[Logical NAND]]

* [[Logical NAND]]

* [[Logical NNOR]]

* [[Logical NNOR]]

−

~~| valign=top |~~

+

{{col-break}}

* [[Minimal negation operator]]

* [[Minimal negation operator]]

* [[Multigrade operator]]

* [[Multigrade operator]]

Line 3,510: Line 3,510:

* [[Truth table]]

* [[Truth table]]

* [[Zeroth order logic]]

* [[Zeroth order logic]]

−

|}

+

{{col-end}}

==External links==

==External links==

12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/15653"