Expressing range constraints in CNF form

[Antonio Corbi via Digitalmars-d]

On Sunday, 11 June 2017 at 15:25:11 UTC, Andrei Alexandrescu 
wrote:
> On 6/11/17 11:11 AM, Nick Treleaven wrote:
>> On Sunday, 11 June 2017 at 00:28:58 UTC, Andrei Alexandrescu 
>> wrote:
>>> [...]
>> 
>> Great!
>
> Thanks.
>
>>> [...]
>> 
>> I'm not getting how this works.
>
> Ostensibly the function is trivial:
>
> bool msg(string) { return true; }
>
> It doesn't change the semantics. The compiler would recognize 
> it as an intrinsic and would print the message if the clause to 
> its left has failed.
>
>
> Andrei

So this is trying to parafrase the perl/bash idiom:
```
commandSucceeds (...) || die ();
```

Isn't it?
So, the '&&' -and- shouldn't be '||' -or-?
Sorry for the noise if I'm wrong.

Antonio