Module un_algebra::logic[][src]

Boolean logic functions.

Functions for testing boolean logic predicates.

Functions

implies

Test logical implication x => y.