10 класс.
Тема: построение таблиц истинности.
Задания: 1. Доказать, что (A v B) ^ C = (A ^ С) v (B ^ C) 
                2. Построить таблицу   A ^ B(с знаком вектора - инверсия) ^ (C v D) 

Значки: v - дизъюнкция.(логическое сложение)
              ^ - конъюнкция.(логическое умножение)
Инверсия - логическое отрицание.
Я не очень поняла эту тему, но домашку никто не отменял и я обращаюсь к вам за помощью.