a > b =>
!(a != b) => 1
(a == b) && (a == 5) =>
(a != b) && (a == 5) => 1
!((a != b) && (a == 5) =>