So far so good Marchal wrote:

> rwas rwas wrote: > > >IF: > > AB:C > > 11 1 > > 10 0 > > 01 1 > > 00 1 > > > >Can someone explain the "IF" table? Ok. it could be defined that way.... but this allows weird results to be obtained..... It may be safer to define it as IF: AB:C 11 1 10 0 01 x 00 x where x is undefined > > > (2 = 1) -> Russell is the pope > > > The correct answer should have been: > > (2=1) is false, so (2=1) -> X, is always true, as you > can seen in the truth table of "IF". > > A->B means really nothing > more that A is false OR B is true. > George