Question

p:It is below freezing. q:It is snowing. It is either below freezing or it is snowing but it is not snowing if it is below freezing. how do we represent the but???

Answer 1

IF it is below Freezing THEN not snowing ELSE it is snowing..

If it is below Freezing then not snowing OR If it is NOT below Freezing then it is snowing..

= (P ----> Q') ^ ( P' ----> Q) // something like IF 'X' THEN 'Y' ELSE 'Z'

= (P' + Q')  ^ (P + Q)

= PQ' + P'Q

= P ◎ Q.                         // P Ex - OR Q

It is either Freezing or Snowing but not both..