Module logical 

Logical composition.

Structs

And

Represents predicates that are satisfied when both P and Q are satisfied.

False

Represents predicates that are never satisfied.

Not

Represents predicates that are satisfied whenever P is not satisfied.

Or

Represents predicates that are satisfied whenever at least P or Q are satisfied.

True

Represents predicates that are always satisfied.

Xor

Represents predicates that are satisfied whenever P or Q (but not both) are satisfied.

Constants

AND

The and literal.

ANYTHING

The everything literal.

FALSE

The false literal.

NOT

The not literal.

NOTHING

The nothing literal.

OR

The or literal.

TRUE

The true literal.

XOR

The xor literal.

Type Aliases

Implies

Represents logical implication P -> Q, that is, Or<Not<P>, Q>.

Nand

Represents Not<And<P, Q>>.

Nor

Represents Not<Or<P, Q>>.

Xnor

Represents Not<Xor<P, Q>>.