Boolean algebra

Boolean algebra can be used in construal level theory, especially its subcomponent "informational".

If and only if
Related to: Conjunction.