Булева алгебра: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Строка 218:
 
== Аксиоматизация ==
В [[1933]] году американский математик [[{{не переведено 5|Хантингтон, Эдвард (математик)|Хантингтон]]||Edward Vermilye Huntington}} предложил следующую аксиоматизацию для булевых алгебр:
# ''Аксиома коммутативности'': ''x'' + ''y'' = ''y'' + ''x''.
# ''Аксиома ассоциативности'': (''x'' + ''y'') + ''z'' = ''x'' + (''y'' + ''z'').