1 2 3 4 5 6 7
// Test logical and in when discriminant test : x y -> when x and y is true then "both true" false then "at least one false"; result : test true false;