# definition of boole algebra

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <boole#>.


# definition of not

{?a :not ?b. ?b :value "true".} log:implies {?a :value "false".}.
{?a :not ?b. ?b :value "false".} log:implies {?a :value "true".}.

:b :value "false".
:a :not :b.