[sv-ac] 1381: vacuous on "AND" operator

 The description of vacuous evaluation for AND operator is exactly the same
as for OR operator - it looks for me like clasic copy&paste error:

	There is:

	"an evaluation attempt of a property of the form prop_expr1 and
prop_expr2 is non-vacuous iff either the underlying evaluation attempt of
prop_expr1 is non-vacuous or either the underlying evaluation attempt of
prop_expr2 is non-vacuous."

	IMHO there should be:

	 "an evaluation attempt of a property of the form prop_expr1 and
prop_expr2 is non-vacuous iff both the underlying evaluation attempt of
prop_expr1 and propr_expr2 is non-vacuous"

	 

DANiel


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.