# Лабораторная работа: ветвление в репозитории; таблицы истинности.

## Ветвление в репозитории

Чтобы не плодить репозитории для лабораторных работ, будем все их делать в одном репозитории.

1. Заходим в каталог с репозитрием (создаём новый, если ещё нет)

1. Выполняем команду `git status`

    В ответе смотрим название ветки и есть ли несохраненные файлы (напоминаю, что сменить ветку можно только если в репозитории нет несохраненных файлов)

    ```
    Текущая ветка: master
                   ^^^^^^
    ```

1. Создаём новую ветку и переходим на неё командой `git checkout -b lab_truth_table`

    В ответе, если всё нормально, увидим, что переключились на новую ветку

    ```
    Переключились на новую ветку «lab_truth_table»
    ```

1. Удаляем всё из файла `readme.md`

## Заполнение таблиц истинности

Теорию и пример заполнения смотрим в [лекции](./t1l3.md#решение-логических-выражений). Обратите внимание, что внутри таблицы знак "|" (ИЛИ) используется как разделитель столбцов. Чтобы использовать его как обычный занк, нужно использовать экранирование: "\|"

## Задания

Выполните один пример, номер варианта возьмите из порядкового номера в журнале

1. `A | B & C`
2. `A & B & C`
3. `A & B | C`
4. `!A | B & C`
5. `A | !B & C`
6. `A | B & !C`
7. `!A | !B & C`
8. `A | !B & !C`
9. `!A | B & !C`
10. `!A | !B & !C`
11. `(A | B) & C`
12. `!(A | B) & C`
13. `A | !(B & C)`
14. `!(A | B & C)`
15. `A ^ B & C`
16. `A | B ^ C`
17. `A ^ B ^ C`
18. `A & B ^ C`
19. `!A ^ B & C`
20. `A ^ !B & C`
21. `A ^ B & !C`
22. `!A | B ^ C`
23. `A | !B ^ C`
24. `A | B ^ !C`
25. `A ^ B ^ C`
26. `!A ^ B ^ C`
27. `A ^ !B ^ C`
28. `A ^ B ^ !C`
29. `A ^ B | C`
30. `!A | B ^ C`

В отчете (`readme.md`) напишите решаемое задание и его решение в виде таблицы истинности. Сохраните репозиторий и опубликуйте его на сервере kolei.ru (не забывайте, что публикуете другую ветку). Скиньте ссылку на ветку в репозитории в группу.