The implied truth

truth table

                                                   (in kleene logic K3)
                                                   goal: NOT x OR y
r.blocked x=exists(r.blocked) y=r.blocked <> true  goal: x IMPLIES y suggestion: X AND NOT R.BLOCKED
true      true                false                false             true AND NOT true  => false
false     true                true                 true              true AND NOT false => true
null      false               null                 true              false AND NOT null => false !!! Here is the difference

Here's another alternative for lukasiewicz logic L3, which defines implication as in K3 except null IMPLIES null => true

                                                   (in lukasiewicz logic)
r.blocked x=exists(r.blocked) y=r.blocked <> true  goal: r.blocked IMPLIES y 
true      true                false                false
false     true                true                 true
null      false               null