Proposition Logic Functions
land
lor
lnot
limplies
liff (if, and only if)
lothers