Page 1 of 1
What's the formal logic for this rule?
Posted: Mon Nov 01, 2010 8:32 pm
by logicgamesbrah
I seem to be blanking here.
Either A or B must be with C.
Is it, if C > A or B?
Re: What's the formal logic for this rule?
Posted: Mon Nov 01, 2010 8:35 pm
by typ3
C ---> CA or CB
not A and Not B --> not C
Re: What's the formal logic for this rule?
Posted: Mon Nov 01, 2010 8:35 pm
by AverageTutoring
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
Re: What's the formal logic for this rule?
Posted: Mon Nov 01, 2010 8:36 pm
by starrydreamz3
C => A or B
Then by negation:
xA and xB => xC
Edit: Poster above me got to it first.