Given this circuit:
I need to find a logical formula.
I came up with this:
Is this correct? Can you simplify it to this?
Yes, you negate each proposition and reverse the junction - if it is AND it becomes OR and vice-versa.
For instance, let p = "Today is sunny" and q = "Today is raining".
Then, ~p/\q implies: "Today is NOT sunny AND Today is raining".
So, ~(~p/\q) means: NOT (Today is not sunny and today is raining), or, equivalently "Today is NOT-NOT sunny OR Today is NOT raining). That is, "Today is sunny OR NOT raining". It might be a cloudy weather...