転置の等価性が正しくないようです。

Question

のs〜rは、ソフトウェア抽象の638ページのに相当します。私はs。〜rが〜（r。〜s）に等しいと信じていますは正しいステートメントです。

Answer 1

この文では、sは集合であるため、〜sは正当な式ではありません。