Logika 123: (a⋀b)∨(¬a⋀b) ≡ b Jak można nazwać to przekształcenie? Czy jest to jakieś prawo rachunku zdań? Skąd i dlaczego to się wzięło?

iteRacj@: (a⋀b)∨(¬a⋀b) ⇔ prawo rozdzielności koniunkcji względem alternatywy (a∨¬a)⋀b ⇔ prawo wyłączonego środka (tertium non datur) ⇔ b

123: Dziękuję bardzo :3 Nigdzie nie mogłem tego znaleźć!