У вашего броузера проблема в совместимости с HTML5
Utilize o método da negação ou absurdo para demonstrar se as fórmulas abaixo são tautologias.
a) F = (~P Q) ((~Q P) (P Q))
b) F = (~(P ~Q) R) (R (P Q))
c) F = ((P Q) (P R)) (Q R)
c) F = ((P R) R) ((P Q) P) P