123: 1 && 2 && 3
odd: !2 && !4 && !20 && !02
nooneeven: 1 || oneeven
oneandeven: (1 && 2) || (1 && 4)
oneandnotevel: (1 && 3) && !((1 && 2) || (1 && 4))
oneeven: 1 && !odd
