Module logic
un_algebra
Boolean logic functions.
Functions for testing boolean logic predicates.
Test logical implication x => y.
x
y