DISCLAMER: People with no humour are attended to leave the page at the
end of this phrase.
AVERTISSEMENT: Les personnes sans humour
sont priées de quiter cette page à la fin de cette phrase.
Algèbre de Troole
où Troolean algebra dans la langue de secoue-lance
Idée de base:
http://thedailywtf.com/Articles/What_Is_Truth_0x3f_.aspx
Table de vérité - Truth table
| A |
B |
A∨B |
A∧B |
| T |
T |
T |
T |
| T |
F |
T |
F |
| T |
FnF |
T |
FnF |
| F |
T |
T |
F |
| F |
F |
F |
F |
| F |
FnF |
F |
FnF |
| FnF |
T |
T |
FnF |
| FnF |
F |
F |
FnF |
| FnF |
FnF |
FnF |
FnF |
Neutral element for OR: FileNotFound
Neutral element for AND: True
Table de vérité, générée par JS - Truth table, JS generated
| A |
B |
A∨B |
A∧B |
| true | true | true | true |
| true | false | true | false |
| true | FileNotFound | true | FileNotFound |
| false | true | true | false |
| false | false | false | false |
| false | FileNotFound | false | FileNotFound |
| FileNotFound | true | true | FileNotFound |
| FileNotFound | false | false | FileNotFound |
| FileNotFound | FileNotFound | FileNotFound | FileNotFound |
Distributivité - distributive property
| A |
B |
C |
C∧(A∨B) |
(C∧A)∨(C∧B) |
| true | true | true | true | true |
| true | true | false | false | false |
| true | true | FileNotFound | FileNotFound | FileNotFound |
| true | false | true | true | true |
| true | false | false | false | false |
| true | false | FileNotFound | FileNotFound | FileNotFound |
| true | FileNotFound | true | true | true |
| true | FileNotFound | false | false | false |
| true | FileNotFound | FileNotFound | FileNotFound | FileNotFound |
| false | true | true | true | true |
| false | true | false | false | false |
| false | true | FileNotFound | FileNotFound | FileNotFound |
| false | false | true | false | false |
| false | false | false | false | false |
| false | false | FileNotFound | FileNotFound | FileNotFound |
| false | FileNotFound | true | false | false |
| false | FileNotFound | false | false | false |
| false | FileNotFound | FileNotFound | FileNotFound | FileNotFound |
| FileNotFound | true | true | true | true |
| FileNotFound | true | false | false | false |
| FileNotFound | true | FileNotFound | FileNotFound | FileNotFound |
| FileNotFound | false | true | false | false |
| FileNotFound | false | false | false | false |
| FileNotFound | false | FileNotFound | FileNotFound | FileNotFound |
| FileNotFound | FileNotFound | true | FileNotFound | FileNotFound |
| FileNotFound | FileNotFound | false | FileNotFound | FileNotFound |
| FileNotFound | FileNotFound | FileNotFound | FileNotFound | FileNotFound |