What's the formal logic for this rule? Forum

logicgamesbrah · Post by **logicgamesbrah** » Mon Nov 01, 2010 8:32 pm

I seem to be blanking here.

Either A or B must be with C.

Is it, if C > A or B?

typ3 · Post by **typ3** » Mon Nov 01, 2010 8:35 pm

C ---> CA or CB
not A and Not B --> not C

AverageTutoring · Post by **AverageTutoring** » Mon Nov 01, 2010 8:35 pm

logicgamesbrah wrote:I seem to be blanking here.

Either A or B must be with C.

Is it, if C > A or B?

Not sure about your greater symbol there but it means you configuration must have one of the following

CA
CB
CAB

starrydreamz3 · Post by **starrydreamz3** » Mon Nov 01, 2010 8:36 pm

C => A or B

Then by negation:

xA and xB => xC

Edit: Poster above me got to it first.

Register now to search topics and post comments!