Prove: .x ^ y/ _ .x ^ :y/ is logically equivalent to x
Chapter 7, Problem 7.3(choose chapter or problem)
Prove: .x ^ y/ _ .x ^ :y/ is logically equivalent to x.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer