甲:A和F都要出席。
乙:如果B不出席,那么A也不能出席。
丙:B和D不能都出席。
丁:只有D出席,c才能出席。
戊:如果C不出席,那么E和F不能都出席。
(1)A^F;
(2)┐B→┐A:
(3)┐(B^D);
(4)D←C:
(5)┐C→┐(E^F)。
据(1)可得A和F;再据(2)可得B。
据(3)可得┐BV┐D,于是┐D。
据┐D和(4)可得┐C。
据(5)和┐C:可得┐EV┐F。