[vJASS] Simplifying A Boolean Expression

[Nestharus]

A bit rusty on boolean expressions and can't figure this out ; p

exitwhen (int == int2 and bool) or ((int == 0 or int == int2) and thisfunc(int2))

I have a feeling that the above can be simplified, but I do not remember what to do ^_^. All I remember is the flipper rule

if not a and not b then
to
if not (a or b) then

edit
yea, totally rusty on boolean algebra : |

edit
Above in boolean algebra

AB + D(A + C)

edit
Used Karnaugh Map, apparently it can't be simplified D: