Your logic simulator is fantastic, but have you looked in how your examples could be handled in a 'ternary' logic?