Задача по доказательству законов логической алгебры - C#

Формулировка задачи:

Прошу помочь с заданием. Доказать (путем перебора возможных значений), что для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения (эквивалентны): а) A OR вив OR А; б) A AND ВИВ AND А; в) (A OR В) OR СИ A OR С; г) (A AND В) AND СИ A AND (В AND С) ; д) A AND (A OR В) ИА; е) A OR (A AND В) ИА; ж) A AND (В OR.C) И (A AND В) OR (A AND С); з) A OR (В AND С) И (A OR В) AND (A OR С). Заранее спс.

Решение задачи: «Задача по доказательству законов логической алгебры»

textual
                            Листинг программы 
                        

                            using System;
 
namespace ConsoleApp
{
    class Program
    {
        static bool Left(bool A, bool B) {
            return A && B;
        }
 
        static bool Right(bool A, bool B) {
            return B && A;
        }
 
        static void Main(string[] args) {
            bool A = true;
            bool B = true;
            bool truth = true;
            // true, true
            truth &= Left(A, B) == Right(A, B);
            // true, false
            A = true; B = false;
            truth &= Left(A, B) == Right(A, B);
            // false, true
            A = false; B = true;
            truth &= Left(A, B) == Right(A, B);
            // false, false
            A = false; B = false;
            truth &= Left(A, B) == Right(A, B);
            Console.WriteLine(truth ? "Доказано, A && B <=> B && A" : "Не доказано");
        }
    }
}
                        