lab_truth_table.md 2.8 KB

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

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

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

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

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

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

    Текущая ветка: master
                   ^^^^^^
    
  3. Создаём новую ветку и переходим на неё командой git checkout -b lab_truth_table

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

    Переключились на новую ветку «lab_truth_table»
    
  4. Удаляем всё из файла readme.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 (не забывайте, что публикуете другую ветку). Скиньте ссылку на ветку в репозитории в группу.