7. Импликацияны дизьюнкция, коньюнкция және терістеу арқылы байланыстыратын төмендегідей формулалар бар.