int war5 = a> b && ( c > b || a <= b );
Mam problem z tym warunkiem
0
5
a > b && c > b
5
( c > b || a <= b ); zgodnie z prawami deMorgana daje nam !(c<=b && a>b) więc mamy w sumie a>b && !(c<=b && a>b)
Jeśli więc a>b jest fałszem to cała formuła jest fałszem, a jeśli jest prawdą to musimy sprawdzić czy prawdą jest !(c<=b) czyli w rzeczywistości czy c>b. W sumie więc
a>b && c>b
3
a>b && (c>b || a<=b)
a>b && c>b || a>b && a<=b
a>b && c>b || 0
a>b && c>b