👤

simplify (p=>q) ^ (q'=>p)