getFirstArgument

public abstract Formula getFirstArgument()

Return

the first argument of the binary logical operator