And Function In Logic