![[old] Boolean Algebra](https://dk1vwk12q8pjl.cloudfront.net/media/logos/task/middle/boolean-algebra-disabled.png)
[old] Boolean Algebra
У математиці і математичній логіці, Булева алгебра це підрозділ алгебри в якому значення змінних істиннi чи хибні і зазвичай позначаються 0 або 1 відповідно. На відміну від простої алгебри де значення змінних це числа і основні операції це додавання і множення, основні операції Булевої алегбри це кон'юнкція (позначена ∧), диз'юнкція (позначена ∨) і заперечення (позначене ¬).
У цій місії вам потрібно реалізувати декілька булевих операцій:
- "кон'юнкція" ("conjunction")
обозначається x ∧ y, задовольняюча умовам x ∧ y = 1 якщо x = y = 1 та ∧ y = 0 iнакше.
- "диз'юнкція" ("disjunction")
обозначається x ∨ y, задовольняюча умовам x ∨ y = 0 якщо x = y = 0 та x ∨ y = 1 iнакше.
- "iмплiкацiя" ("implication") (пряма iмплiкацiя)
обозначається x→y та описана як ¬ x ∨ y.
Якщо x це істина, тоді значення x → y береться таке як у y.
Але якщо x брехня, тоді значення y може бути ігноровано.
- "виключення" ("exclusive") (виключає АБО)
обозначено x ⊕ y i описано як (x ∨ y)∧ ¬ (x ∧ y).
Це виключає верогiднiсть обох x та y. У термінах арифметики, це додавання по модулю 2,
де 1 + 1 = 0.
- "еквівалентність" ("equivalence")
позначена x ≡ y і описана як ¬ (x ⊕ y).
Це істина, коли x та y мають однакові значення.
Тут ви можете побачити таблицю істинності для даних операцій:
x | y | x∧y | x∨y | x→y | x⊕y | x≡y | -------------------------------------- 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | -------------------------------------- ...
CheckiO Extensions allow you to use local files to solve missions. More info in a blog post.
In order to install CheckiO client you'll need installed Python (version at least 3.8)
Install CheckiO Client first:
pip3 install checkio_client
Configure your tool
checkio --domain=js config --key=
Sync solutions into your local folder
checkio sync
(in beta testing) Launch local server so your browser can use it and sync solution between local file end extension on the fly. (doesn't work for safari)
checkio serv -d
Alternatevly, you can install Chrome extension or FF addon
checkio install-plugin
checkio install-plugin --ff
checkio install-plugin --chromium
Read more here about other functionality that the checkio client provides. Feel free to submit an issue in case of any difficulties.