Wiadomo że   (p<=>q) <=> (p => q  ^  q =>p)  powołując się na znane ci prawa logiczne uzasadnij że tautologią jest następujące wyrażenie ~(p <=>q) <=> (p^ ~q) / (q ^ ~p)     ^ to koniunkcja  / to alternatywa

~( p <=> q ) <=> ~ [  p => q  ^ q => p] <=> ~ [ p =>q ] v ~[ q => p ] <=> <=> ( p ^ ~q ) v ( q ^ ~p ) Korzystamy kolejno z następujących praw logicznych: ~ ( p ^ q ) < = >  ~p v ~ q  - prawo de Morgana ~ (p => q ) < = >  p ^ ~q  - zaprzeczenie implikacji