Доказательство законов алгебры логики с помощью таблиц истинности - TouristMaps. Примеры законов алгебры логики