Exemplo n.º 1
0
 Andf(Orf(var any1a, Notf(var any2)), var any1) when any1 == any1a && IsLogic(any1) => any1 & any2,
Exemplo n.º 2
0
 Andf(var any1, Orf(var any1a, _)) when any1 == any1a && IsLogic(any1) => any1,
Exemplo n.º 3
0
 Andf(var any1, Orf(Notf(var any1a), var any2)) when any1 == any1a && IsLogic(any1) => any1 & any2,
Exemplo n.º 4
0
 Andf(Orf(var any2, var any1), Orf(var any3, var any1a)) when any1 == any1a && IsLogic(any1, any2, any3) => any1 | (any2 & any3),