Re: [sv-ac] P1800-2009 : restrictions on the use of the property "iff" and "implies" operators

Your reply explains my misunderstandings.  Thanks for the pointer.
.. my excuse ... LRM is a big document :)
F.3.4.3.2 Derived boolean operators
— p1 implies p2 (not p1 or p2).
— p1 iff p2 ((p1 implies p2) and (p2 implies p1)).
Ben

On Sat, May 16, 2009 at 9:47 PM, Bustan, Doron <doron.bustan@intel.com>wrote:

>  Hi Ben,
>
>
>
>  please elaborate, what is ambiguous?
>
>
>
> *implies* and *iff *are property operators, and can be derived from the *
> and*, *or*, *not* property operators (see annex F)
>
>
>
> Doron
>   ------------------------------
>
> *From:* owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] *On
> Behalf Of *ben cohen
> *Sent:* Sunday, May 17, 2009 4:56 AM
> *To:* sv-ac@server.eda.org
> *Subject:* [sv-ac] P1800-2009 : restrictions on the use of the property
> "iff" and "implies" operators
>
>
>
> What are the restrictions on the use of the property "*iff" *and "*implies"
> *operators with regards to start and end time?
>
> Are they the same as the property *and, or *property operators?
>
> LRM is ambiguous on that point.
>
> *Ben Cohen  *
>
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, 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.