smcdel-1.3.0: Examples/MuddyChildren.smcdel.txt

-- Three Muddy Children in SMCDEL

VARS 1,2,3

LAW  Top

OBS  alice:   2,3
     bob:   1,  3
     carol: 1,2

TRUE?
  {1,2,3}
  alice knows that (2 & 3) & ~ alice knows whether 1

VALID?
  ( ~ (alice knows whether 1)
  & ~ (bob   knows whether 2)
  & ~ (carol knows whether 3) )

VALID?
    ((alice,bob) distknow whether 1)
  & ((alice,bob) distknow whether 2)

WHERE?
  < ! (1|2|3) >
  ( (alice knows whether 1)
  | (bob   knows whether 2)
  | (carol knows whether 3) )

VALID?
  [ ! (1|2|3) ]
  [ ! ( (~ (alice knows whether 1))
      & (~ (bob   knows whether 2))
      & (~ (carol knows whether 3)) ) ]
  [ ! ( (~ (alice knows whether 1))
      & (~ (bob   knows whether 2))
      & (~ (carol knows whether 3)) ) ]
  (1 & 2 & 3)