Anonymous user
Talk:Ternary logic: Difference between revisions
→if a then b: (not a) or b
(→if a then b: rephrase) |
(→if a then b: (not a) or b) |
||
Line 20:
What is if a then b condition? It's not a straightforward conditional like <code>if a then: b; else:a;</code>. Looks more like if we define false < true, and "maybe" means "unknown state of either true or false", the "if a then b" condition is the same as a <= b. Some clarification? --[[User:Ledrug|Ledrug]] 01:07, 27 August 2011 (UTC)
: '''if a then b''' is logically equivalent to '''(not a) or b'''. --[[User:Kernigh|Kernigh]] 01:27, 27 August 2011 (UTC)
| |||