if (f a b) then

(.....

) else false

end.

(f2 x y) has bool output. Want to add condition (f a b=?true )&& (f2 x y=? false)

insead of (f a b).Want to full fill both to move ahead . Now it always gives false. I should replace && with /\. How i could do it?

Just `if f a b && negb(f2 x y) then ... else ... `

?

Last updated: Oct 04 2023 at 23:01 UTC