RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce

Hi Ed,

On the page 3 two lines need to be joined:

"The logical implication expression1 -> expression2 is a shorthand for
writing (!expression1 || expression2),"

and

" and the logical equivalence expression1 <-> expression2 is a shorthand
for writing ((expression1 -> expression2) && (expression2 ->
expression1))."

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Eduard Cerny
Sent: Monday, October 08, 2007 2:17 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce

Hello,

I have uploaded an updated proposal following Shalom's recommendations.
Also attached here.

Best regards,
ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.