Logical Function Definition