Logique du premier ordre et algèbre de Boole

Propositions logiques
Table de vérité. Simplification des propositions logiques à trois variables au plus. Tautologies, antilogies.

Tableau de Karnaugh
Simplification des fonctions booléennes à trois variables.

Pour un premier contact, écrivez-moi en utilisant ce formulaire. Lorsque vous vous référez à une page du site, merci d'indiquer son adresse précise http://jeux-et-mathématiques.davalan.org/...
Les correspondances suivantes pourront se faire par messagerie électronique.
Important : Si votre question a un quelconque rapport avec un travail personnel (Devoir TIPE Master...) , vous devez absolument me le préciser dès maintenant et m'indiquer très précisément les limites des informations demandées. Vous devez aussi avertir la personne qui dirige votre travail ou le corrige de cette communication et lui montrer les documents fournis.
J'essaie de répondre aux questions posées, mais ne lis pas les documents mathématiques amateurs, pas plus que je ne donne mon avis sur les démonstrations des conjectures de Collatz ou autres. Je ne lis pas les documents word, je ne corrige pas les programmes informatiques et depuis des années je n'utilise plus de tableur.