예제 #1
0
 Andf(Orf(var any1a, Notf(var any2)), var any1) when any1 == any1a && IsLogic(any1) => any1 & any2,
예제 #2
0
 Andf(var any1, Orf(var any1a, _)) when any1 == any1a && IsLogic(any1) => any1,
예제 #3
0
 Andf(var any1, Orf(Notf(var any1a), var any2)) when any1 == any1a && IsLogic(any1) => any1 & any2,
예제 #4
0
 Andf(Orf(var any2, var any1), Orf(var any3, var any1a)) when any1 == any1a && IsLogic(any1, any2, any3) => any1 | (any2 & any3),