Derive resultant Boolean function The question goes as follows; Andreas, Benedikt, Carolin and Dora are invited to a party. Following are known: * When Andreas goes, Benedikt goes as well. * Carolin and Dora are not both going. * Between Andreas and Dora at least one goes. * When Benedikt or Dora goes, Carolin goes as well. Question asks to draw a boolean table for the above given conditions and derive a resultant Boolean function. My boolean_table on google spreadsheet (if you wan to edit):  here, is it simply OR of all the conditions? And how can it be deduced who goes the party with the function?

You need to AND all four statements together, since you all statements to be true, i.e. The first should be true AND the second AND the third, AND the fourth.

Unfortunately, you symbolized 'Between Andreas and Dora at least one is going' as $A \vee B$ ... So either that should be $A \vee D$, or you wrote down the wrong statement when you posted you question ...

Also, 'Carolin and Dora both not going' is $\
eg C \land \
eg D$ which is not the same as $\
eg (C \land D)$. So again, eitheryou symbolized ths incorrectly, or you wrote down the wrong statement in your original Question ... Should it be that 'Carolin and Dora are not both going'? If that was the statement you have to work with, then there is no contradiction anymore, so I suspect that is the one.

**EDIT** Ok, all issues resolved now!