👤

[~p→~(q^r)]a[(r→~q)v~p]​