Task list filter?

Choose required ranks and required tasks. The table of contents will list only tasks having one of the required ranks in corresponding rankings and at least one of the required tags (overall). If you wish to filter only according to some rankings or tags, leave the other groups empty.

Task rankings

Difficulty level

Task tags

Task type
«
«
«

Symmetric difference

Task number: 3343

Determine which of the following statements about the symmetric difference defined as AB=(AB)(AB) are true, and which are false.

  • AB=(A¯B)(¯AB)
  • AB=BA
  • A(BC)=(AB)C
  • A(BA)=A
  • AA=
  • A=A

If a statement is false, correct it using the smallest possible change if possible.

  • Solution

    For the first, third and fourth statements it's helpful to draw a Venn diagram and mark the sets corresponding to the expressions on the left and right.

    It's possible to prove some of the statements formally, e.g. by transforming set expressions, e.g.

    AB=(AB)(AB)=(BA)(BA)=BA. Here we have used the fact that and are commutative.

    AA=(AA)(AA)=AA=

    A=(A)(A)=A=A

    We can refute the fourth statement formally using the second, third and fifth:
    A(BA)=A(AB)=(AA)B=B=B=B

  • Answer

    A(BA)=A is invalid; the statement A(BA)=B e.g. is true.

Difficulty level: Easy task (using definitions and simple reasoning)
Proving or derivation task
Cs translation
Send comment on task by email