/* Test simple logicalAnd */ /* Simple boolean values */ true_val : true; false_val : false; /* Test logicalAnd with simple values */ result1 : logicalAnd true_val false_val; result2 : logicalAnd false_val true_val; result3 : logicalAnd true_val true_val; ..out result1; ..out result2; ..out result3;