1. Multiple Valued Logic Currently Studied for Logic Circuits with More Than 2 Logic States –Intel Flash Memory – Multiple Floating Gate Charge Levels – 2,3 bits per Transistor http://www.ee.pdx.edu/~mperkows/ISMVL/flash.html Techniques for Manipulation Applied to Multi- output Functions –Characteristic Equation –Positional Cube Notation (PCN) Extensions

2. MVI Functions Each Input can have Value in Set {0, 1, 2,..., p i-1 } MVI Functions X is p -valued variable literal over X corresponds to subset of values of S  {0, 1,..., p-1} denoted by X S

3. MVL Literals Each Variable can have Value in Set {0, 1, 2,..., p i-1 } X is a p -valued variable MVL Literal is Denoted as X {j} Where j is the Logic Value Empty Literal: X {  } Full Literal has Values S={0, 1, 2, …, p-1} X {0,1,…,p-1} Equivalent to Don’t Care

4. MVL Example MVI Function with 2 Inputs X, Y –X is binary valued {0, 1} –Y is ternary valued {0, 1, 2} –n=2 p X =2 p Y =3 Function is TRUE if: –X=1 and Y= 0 or 1 –Y=2 –SOP form is: –F = X {1} Y {0,1} + X {0,1} Y {2} Literal X {0,1} is Full, So it is Don’t Care –implicant is X {1} Y {0,1} –minterm is X {1} Y {0} –prime implicants are X {1} and Y {2} 01 01 11 211 X Y F

5. Multi-output Binary Function Consider x y z f0f0 f1f1

6. Multi-output Binary Function Consider x y z f0f0 f1f1 x y z F W Characteristic Equation

7. Sum of Minterms

8. PCN for MVL Functions Binary Variables, {0,1}, Represented by 2-bit Fields MV Variables, {0,1,…,p-1}, Represented by p -bit Fields BV Don’t Care is 11 MV Don’t Care is 111…1 MV Literal or Cube is Denoted by C(  )  00 010 101 *11

9. PCN for MVL Example Positional Cube Corresponding to X {1} is C(X {1} ) Since Y {0,1,2} is Don’t Care

10. PCN for MVI-BO Example View This as a SOP of MVI Function: F is the Characteristic Equation z abf 1 f 2 f 3 a ba b 10 100 a ba b 1001001 a b 0110001 a b01 110

11. List Oriented Manipulation Size of Literal = Cardinality of Logic Value Set x {0,2}  size = 2 Size of Implicant (Cube, Product Term) = Integer Product of Sizes of Literals in Cube Size of Binary Minterm = 1  Implicant of Unit Size EXAMPLE f (x 1,x 2,x 3,x 4,x 5,x 6 )

12. Logic Operations Consider Implicants as Sets –Apply ( , , , etc) Apply Bitwise Product, Sum, Complement to PCN Representation Bitwise Operations on Positional Cubes May Have Different Meaning than Corresponding Set Operations EXAMPLE Complement of Implicant  Complement of Positional Cube

13. MVL Logical Operations AND Operation – MIN - Set Intersection OR Operation – MAX - Set Union NOT Operation – Set Complement EXAMPLE

14. MVL Number of Functions of 1 Variable

15. MVL Circuits MIN-gate MAX-gate

16. Cube Merging Basic Operation – OR of Two Cubes MVL Operation – MAX is Union of Two Cubes EXAMPLE  = 1 {0,1} 0 1  = 0 {0,1} 0 1 Merge  and  into   = {0,1} {0,1}0 1

17. Multi-Output Minimization Example

18. Minimization Example (cont) Sum of Minterms (Fig. 10.7 PLA Implementation) Merging Merge 1 st and 2 nd Merge 3 rd and 4 th Merge 5 th and 6 th Merge 7 th and 8 th

19. Minimization Example (cont) Multi-Output Function Using of Multi-Output Prime Implicants (Fig. 10.8 PLA Implementation)