pianke (Apr 15 2023 at 11:05): pianke (Apr 15 2023 at 11:05):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?
Pierre Castéran (Apr 15 2023 at 12:37):Just if f a b && negb(f2 x y) then ... else ... ?
Last updated: Apr 19 2024 at 15:02 UTC