Информатика 10-11. Книга 1. Теория (с задачами и решениями). Шауцукова Л.З. - 140 стр.

 5.9. Какие основные законы выполняются в алгебре логики?
    В алгебре логики выполняются следующие основные законы, позволяющие
производить тождественные преобразования логических выражений:

                   ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

           Закон                        Для ИЛИ        Для И
   Переместительный
   Сочетательный
   Распределительный

   Правила де Моргана

   Идемпотенции
   Поглощения

   Склеивания

   Операция переменной с
   ее инверсией
   Операция с
   константами

   Двойного отрицания

              5.10. Как составить таблицу истинности?
    Согласно определению, таблица истинности логической формулы выражает
соответствие между всевозможными наборами значений переменных и значениями
формулы.

    Для формулы, которая содержит две переменные, таких наборов значений
переменных всего четыре:

         (0, 0),   (0, 1),   (1, 0),   (1, 1).