Venn problem

Vennproblemet är  ett problem som föreslogs 1881 av den engelske logikern och filosofen John Venn i Symbolic Logic . 

Villkor för problemet

Uppgiften berättar om en viss klubb, reglerna för att gå med som vi erbjuds att minska.

I klubbens stadga står det:

• ekonomiutskottet väljs bland ledamöterna i det allmänna utskottet;
• ingen kan vara ledamot av både allmänna nämnden och biblioteksnämnden samtidigt, om han inte också är ledamot av ekonominämnden;
• ingen ledamot i biblioteksnämnden kan sitta i ekonomiutskottet.

Lösning

Låt oss förenkla stadgans regler till 2 regler. Efter att ha skrivit ner klubbens stadga i form av logiska uttalanden, kommer vi att omvandla dem till en ny, förkortad form.

Tolkningen av uttrycket motsvarar följande:

• ledamöter i ekonomiutskottet väljs bland generalens ledamöter;
• ledamöter i allmänna nämnden kan inte vara ledamöter i biblioteksnämnden.

Litteratur

• Kuzichev A.S. Vennproblemet // Naturvetenskapernas historia och metodik. M., 1974. Nummer. 16. S. 128-136.
• [ett]
• [2]
• [3]