Boolean Algebra

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  |
You should be an authorized user in order to see the full description and start solving this mission.
Invalid hot key. Each hot key should be unique and valid
Hot keys:
CheckiO Extensions

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.

Pair Programming (Beta-version)

Welcome to Pair Programming! Engage in real-time collaboration on coding projects by starting a session and sharing the provided unique URL with friends or colleagues. This feature is perfect for joint project development, debugging, or learning new skills together. Simply click 'Start Session' to begin your collaborative coding journey!

Waiting for Pair Programming to start...

You are trying to join a pair programming session that has not started yet.

Please wait for the session creator to join.

Waiting for Pair Programming to reconnect...

It looks like the creator of the pair programming session closed the editor window.

It might happen accidentally, so that you can wait for reconnection.

<< <
> >>
exec show

Whats Next?

Free accounts will see Best CheckiO solutions with some delay.
Best Solutions will be opened in a moment
Become Awesome and Don't wait
The next stage is ""
Will be activated in
View More Solutions Random Review Solutions Go to the next mission