Алгебра выражений
Алгебра выражений задаётся операциями $\lnot$ («не»), $\land$ («и»), $\lor$ («или»), $\Rightarrow$ («следует»), $\Leftrightarrow$ («равносильно»). В программировании также распространены «исключающие и» и «исключающее или», но эти операции не входят в базовый…