Алгебра логики — это один из основных разделов символической логики, в основе которого лежит применение алгебраических методов к логике (см. Логика). Алгебра логики — исторически первая форма символической логики (см. Символическая логика), возникшая в середине XIX века в трудах Дж. Буля. К её созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что алгебраические уравнения применимы при решении задач из различных областей знания. Поначалу алгебра логики имела своим предметом классы (как объёмы понятий), соотношения между классиками по объёму и связанные с этим операции над ними. Позднее, в связи с появлением в 70-х годах XIX века теории множеств, взявшей на себя часть этих задач, предмет алгебры логики значительно изменился. Основным её предметом стали высказывания (суждения, предложения), рассматриваемые со стороны их логических значений (истина, ложь, бессмыслица и другие), и логические операции над ними.
Var a,b,c,p:real; Begin Write('a = ');Read(a); Write('b = ');Read(b); Write('c = ');Read(c); if (a<b+c)and(b<a+c)and(c<a+b) then Begin if (a=b)and(a<>c) then Write('Треугольник равнобедренный, ') else if (a=b)and(b=c) then Write('Треугольник равносторонний, ') else if (a*a=b*b+c*c)or(b*b=a*a+c*c)or(c*c=b*b+a*a) then Write('Треугольник прямоульный, ') else Write('Треугольник никакой, '); p:=(a+b+c)/2; a:=sqrt(p*(p-a)*(p-b)*(p-c)); Write('его площадь равна ',a); End else Write('Треугольник не существует') End.
a,b,c,p:real;
Begin
Write('a = ');Read(a);
Write('b = ');Read(b);
Write('c = ');Read(c);
if (a<b+c)and(b<a+c)and(c<a+b) then
Begin
if (a=b)and(a<>c) then Write('Треугольник равнобедренный, ')
else if (a=b)and(b=c) then Write('Треугольник равносторонний, ')
else if (a*a=b*b+c*c)or(b*b=a*a+c*c)or(c*c=b*b+a*a) then Write('Треугольник прямоульный, ')
else Write('Треугольник никакой, ');
p:=(a+b+c)/2;
a:=sqrt(p*(p-a)*(p-b)*(p-c));
Write('его площадь равна ',a);
End
else Write('Треугольник не существует')
End.