voici quelques petites équations logiques à résoudres pour les amateurs de ce genre de distraction :
_
a   : non(a)
0   : jamais vrai
1   : Toujours vrai
+   : ou
.   : et
(+) : ou exclusif
---> : implication


Simplifier les équations suivantes

_________________
a (+) b ----> c.b    <-->  ?



__________________
                 _
(a + b) . (c (+) a)   <-->  ?


____________________________________
______________________         _____
((a ---> b ) (+) b.c )   ----> d.a.e     <-->  ?




Traduire les phrases suivantes sous forme d'implication


Tous les a sont des b

Auncun a n'est un b

Seul les a sont des b

Tous les a et les b sont des c ou bien des d

Auncun a qui n'est pas un b n'est un c

Seul les a qui sont b ne sont pas c





Donner les contraposés des équations suivantes

_____          _   _
a + b   ---->  a . b


a.b.c   ---->  d

                _
a (+) b ----> c.d



Voici des sorites de lewis caroll très amusantes à résoudre :


- Aucun enfant de moins de douze ans dans cette ´ecole n'est interne ;
- Tous les enfants studieux ont les cheveux roux ;
- Aucun des externes n'est helleniste ;
- Seuls les ´el`eves de moins de douze ans sont paresseux ;
- Les non externes sont internes ;
- Les non paresseux sont studieux
- Donc ...



- Les exercices qui sont r´esolus sans ronchonner sont ceux que je comprends
;
- Cet exercice n'est pas dispos´e r´eguli`erement ;
- Aucun exercice qui est facile n'est migraineux ;
- Les exercices qui ne sont pas dispos´es r´eguli`erement ne sont pas parmi
ceux que je comprends ;
- Les exercices sont r´esolus sans ronchonner `a moins qu'ils ne soient migraineux
;
- Donc ...




- Les bestiaux qui ne sont pas rueurs ne sont pas excitables ;
- Les anes n'ont pas de cornes ;
- Les buffles sont tres forts ;
- Aucun bestiaux qui est rueur n'est facile `a avaler ;
- Aucun bestiaux qui n'est pas a corne n'est tr`es fort ;
- Les bestiaux sont excitables sauf s'ils sont des buffles ;
- Donc ...