[ibis-macro] Re: Truth table taken to the next level
- From: "Dmitriev-Zdorov, Vladimir" <vladimir_dmitriev-zdorov@xxxxxxxxxx>
- To: <fangyi_rao@xxxxxxxxxxx>, "Muranyi, Arpad" <Arpad_Muranyi@xxxxxxxxxx>, <ibis-macro@xxxxxxxxxxxxx>
- Date: Tue, 4 May 2010 10:41:08 -0600
Right, I overlooked the negation in your first statement
-----Original Message-----
From: fangyi_rao@xxxxxxxxxxx [mailto:fangyi_rao@xxxxxxxxxxx]
Sent: Tuesday, May 04, 2010 10:36 AM
To: Dmitriev-Zdorov, Vladimir; Muranyi, Arpad; ibis-macro@xxxxxxxxxxxxx
Subject: RE: [ibis-macro] Re: Truth table taken to the next level
If A then B is equivalent to if !B then !A.
From: Dmitriev-Zdorov, Vladimir
[mailto:vladimir_dmitriev-zdorov@xxxxxxxxxx]
Sent: Tuesday, May 04, 2010 9:31 AM
To: RAO,FANGYI (A-USA,ex1); Muranyi, Arpad; ibis-macro@xxxxxxxxxxxxx
Subject: RE: [ibis-macro] Re: Truth table taken to the next level
We need some extra reasoning for that.
By itself the statement "if A then B" does not necessitate "if B then A"
(an apple is a fruit, but a fruit is not necessary an apple).
-----Original Message-----
From: ibis-macro-bounce@xxxxxxxxxxxxx
[mailto:ibis-macro-bounce@xxxxxxxxxxxxx] On Behalf Of
fangyi_rao@xxxxxxxxxxx
Sent: Tuesday, May 04, 2010 9:59 AM
To: Muranyi, Arpad; ibis-macro@xxxxxxxxxxxxx
Subject: [ibis-macro] Re: Truth table taken to the next level
Hi, Arpad;
You are right there is no statement in the BIRD about "if
GetWave_Exists=False, Use_Init_Output must be True". But it's the same
as "Use_Init_Output is False, GetWave_Exists must be True".
Regards,
Fangyi
Other related posts: