Пример #1
0
 Impliesf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => any2.Implies(any1),
Пример #2
0
 Orf(Andf(var any2, var any1), Andf(var any3, var any1a)) when any1 == any1a && IsLogic(any1, any2, any3) => any1 & (any2 | any3),
Пример #3
0
 Andf(Orf(var any2, var any1), Orf(var any3, var any1a)) when any1 == any1a && IsLogic(any1, any2, any3) => any1 | (any2 & any3),
Пример #4
0
 Andf(var any1, var any2) when(any1 == False || any2 == False) && IsLogic(any1, any2) => False,
Пример #5
0
 Orf(var any1, var any2) when(any1 == True || any2 == True) && IsLogic(any1, any2) => True,
Пример #6
0
 Orf(Notf(var any1), var any2) when IsLogic(any1, any2) => any1.Implies(any2),
Пример #7
0
 Orf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => !(any1 & any2),
Пример #8
0
 Andf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => !(any1 | any2),