Functions Software
Back Home Main Next  

Home News Links Search Feedback Software Elements
Researches AOP Degeneracy GTODE Implementations Optimum Download

AOP

Paper-1
TOC-1

Tables
Figures
Computer
Symbols
Researches

Degeneracy

Paper-1
Paper-2
Paper-3
Paper-4
Researches

GTODE

Paper-1
Paper-2
Paper-3
Paper-4
Researches

 

Functions Software

Unary

Prioritors

TAS

Intrinsic

Operations

Extrinsic

Degeneracy

functions

Equations

Design

This pages provides 3-tabbed pages: "Representation", "Degeneracy" and "Expansions".

Representation

This sub pages provide equivalences operations and orthogonal representations of MVL functions.

The orthogonal representations of MVL function is obtained from the a window as shown below.  This window allows you represent a MVL function using AOP orthogonal Theorem-I, AOP Orthogonal Theorem-II, and Post Representation.

There are six ways to enter a function.  

  1. The LP bottom allows you to enter a prioritor as a 2-variable function.
  2. The LS2 bottom allows you to enter any binary operation in s-code as a 2-variable function
  3. The LR bottom allows you to enter any n-variable random function.
  4. The LZ bottom allows you to enter the zero-function.  All entries are zeros.
  5. The LF bottom allows you to load a function from a binary file.  Where the first byte is the radix, the second byte is the number of variables, and the rest are the function values in order as their list in the function Table.
  6. The LT bottom allows you to load a function from a text file.  Where the first line has the radix, the second line has the number of variables, and the rest of lines have the function values in order as their list in the function Table. 
  7. Notes: You may edit the values of any function from the data grid.

Degeneracy

The services listed under this category are still under construction.

Expansions

Use this service to expand any function or any variable using AOP expansion functions.

Back Home Main Next

Webmaster tech@50megs.com with questions or comments about this web site.
General Information: abumsamh@emirates.net.ae
Copyright © 2000 GTODE on Internet
Designed by: R. K. Abu-Msameh
Last modified: January 31, 2001

IEEE International Symposium MVL

Logic Technical Committee

MVL  International Journal.