Wolfram Research

Mathematica MathWorld Wolfram Science More »

Binary Operators Satisfying Two Axioms


	Find Boolean functions that satisfy two axioms. You can modify the left-hand and right-hand sides of the two equations by selecting from popup lists of formal function terms, or you can choose an axiom system with the slider. The tables for the operators that satisfy the selected axioms are labeled by their rule number. Results for the first and second axiom equations are in the left and right areas. Results satisfying both axioms are shown at the bottom on a green background.


	Contributed by: Michael Schreiber
	Show Initialization Code

Logical functions of two arguments and their common names (NKS|Online)

"Binary Operators Satisfying Two Axioms" from The Wolfram Demonstrations Project
http://demonstrations.wolfram.com/BinaryOperatorsSatisfyingTwoAxioms/

Contributed by: Michael Schreiber

Report an issue »

Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now

Related Topics

Browse all topics

Some Related Demonstrations

Share & Bookmark This Demonstration

Contribute

Powered by Wolfram Mathematica

Give us your feedback

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

© 2009 Wolfram Demonstrations Project & Contributors

Wolfram Research

Site Index

RSS

Atom

Note: To run this Demonstration you need the free
Mathematica Player or Mathematica 7+