Comment on Truth Functional Logic for HackersComments−nvader1yIn this blog article from 2021, I warn about making this change without appropriate care, as it has been a source of common bugs: https://danverbraganza.com/writings/de-morgans-flaw-perform-...−jonsen1yAt every place X in the following expression, introduce a boolean negation if there isn’t one (or, equivanently remove one if there is), andI think it should read:At every place X in the following expression, introduce a boolean negation if there isn’t one and remove one if there is, andMaybe even better:At every place X in the following expression, introduce a boolean negation. If you get two concecutive NOT's, they can be removed.Next, I don't see how timespent <= duration is the negation of duration > time_spent ?
Comments
In this blog article from 2021, I warn about making this change without appropriate care, as it has been a source of common bugs: https://danverbraganza.com/writings/de-morgans-flaw-perform-...
I think it should read:
At every place X in the following expression, introduce a boolean negation if there isn’t one and remove one if there is, and
Maybe even better:
At every place X in the following expression, introduce a boolean negation. If you get two concecutive NOT's, they can be removed.
Next, I don't see how
is the negation of