Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
So that looks like the options are only OR, NOT. The AND is implicit because everything must be true. Each variable is called a term. Each line of ORs is called a clause. The entire set of clauses is an expression.