Из высказываний

= «Завтра будет солнечно»,

= «Мы пойдем гулять в парк» и

= «Мы купим мороженое» образовано высказывание «Если завтра будет солнечно, то мы пойдем гулять в парк и купим мороженое». Тогда, используя символы логики высказываний, можно записать данное высказывание в виде: