# Hasse diagram for Four-valued Logic Algebra

For given algebra ({0,1,X,Z}, . , +) which “.” represent “Logical And” and “+” represent “Logical Or”, Following lookup tables are given (image):

I guess the Hasse Diagram of a 4-Valued logic should be something like this (image) :

But, If this is truely Hasse Diagram of 4-valued logic, what is a Right arrengement for X and Z and their complements in this Lattice ?

• How is $z$ different from $x$? – Théophile Nov 28 '17 at 18:54
• @Théophile They look-like same, They should be, I guess It is not possible for single value like z, supremum and infimum be different, as you can see sup(z,z)=x and inf(z,z)=x therefore i think they are same. – DEopen Nov 28 '17 at 18:57

R={(0,x),(0,1),(x,1),(0,0),(x,x),(1,1)}