Дополните схему информатика
Это законы идемпотентности (они же - законы тавтологии, законы согласия).