01 Sep 07
Originally posted by rbmorrisnot a tautology. when (b->c) is false, that is, when b = true and c = false, then similarly (a->(b->c)) is false when a = true and (a->b) is false. which makes the whole statement false (assuming you omitted a '^'😉, and hence, not a tautology.
((A^B)-->C)(A-->(B-->C))
I'll get me coat.
01 Sep 07
2 edits
Originally posted by wormwoodHe forgot the < = > in the middle.
not a tautology. when (b->c) is false, that is, when b = true and c = false, then similarly (a->(b->c)) is false when a = true and (a->b) is false. which makes the whole statement false (assuming you omitted a '^'😉, and hence, not a tautology.
I'll get me coat.
Edit: Actually he may not have forgotten it; it disappears if you don't use spaces.