В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...

Разберем задачу, которую обязательно нужно решить, если вы собираетесь в физ.-мат класс или, например, в школу 2007 г. Москвы ;) Петя и Вася бежали кросс. Они стартовали в 9:00. Петя все время бежал с одинаковой скоростью. А Вася половину пути бежал в 3 раза быстрее, а оставшуюся часть пути —в 2 раза медленнее, чем Петя. Петя финишировал в 9:42. Во сколько прибежал на финиш Вася? Итак, составим схему, на которой отметим половину пути. Каждую половину пути Петя пробежал за 21 минуту, ведь на весь путь Петя потратил 42 минуты, а он бежал с одинаковой скоростью...