nathsou / girafe Goto Github PK

Or(q, q) -> q
And(q, q) -> q
And(a, Or(b, c)) -> Or(And(a, b), And(a, c))
Or(a, And(b, c)) -> And(Or(a, b), Or(a, c))
Or(a, 1) -> 1
And(a, 0) -> 0
And(a, Or(a, b)) -> a
Or(a, And(a, b)) -> a
And(a, 1) -> a
Or(a, 0) -> a
Not(Not(q)) -> q
Or(a, Not(a)) -> 1
And(a, Not(a)) -> 0
Not(Or(a, b)) -> And(Not(a), Not(b))
Not(And(a, b)) -> Or(Not(a), Not(b))

Or(a, b) -> Or(b, a)
And(a, b) -> And(b, a)

> grf binary.grf "And(a, Or(b, a))"     
And_sim2(a, Or_sim1(b, a))
> grf binary.grf "And(a, Or(a, b))"
a