Sprawdź metodą zerojedynkową poniższe wyrażenia logiczne.
a) [ p Λ ( q => p ) ] <=> [ ( p  q ) => ( q <=> p ) ]
b) ((p  ~q)  ~p)  (p  q)
Czy te wyrażenia logiczne są tautologiami?