TeX source:

A=\{P\lor Q,\neg Q\land R,(P\lor Q)\to R\}