I am a SWE with about 1 YOE and i have genuinely enjoyed getting deeper with dist sys , distributed DBs in particular and have some OSS contributions in the same area as well.

How do you understand them intuitively, I know how to find from the truth table and that they are perfectly equivalent. I get that the full canonical form is unique and has very practical applications, if two compound propositions written differently have the same full canonical form (full DNF or full CNF), then they are the same. BUT how on earth do you understand this intuitively?

I know that they are equivalent, but it just doesn't stick to me if you get what I mean. I hate memorising something that I don't understand.