Логическое выражение, являющееся истинным при любом наборе входящих в него переменных, называется тождест-
венно истинным. Убедитесь, что следующие логические вы-
ражения являются тождественно истинными:
1) A → (В → A);
2) (A →не B ) → (В → не A );
3) (A & C → B) → (C → (A ∨ B → B & C)).
Python:
a = float(input('Введите размер файла (в Мбайтах): '))
b = float(input('Введите объем карты памяти (в Гбайтах): '))
b *= 1024
if b / round(a) < 1:
print('Данный файл нельзя записать на карту памяти.')
else:
print('Данный файл можно записать на карту памяти.')
Pascal:
var
a, b: real;
begin
write('Введите размер файла (в Мбайтах): ');
readln(a);
write('Введите объем карты памяти (в Гбайтах): ');
readln(b);
b := b * 1024;
if (b / round(a)) < 1 then writeln('Данный файл нельзя записать на карту памяти.')
else writeln('Данный файл можно записать на карту памяти.');
end.
#include <iostream>
#include <cmath>
using namespace std;
int main()
{
double x1, y1, x2, y2, x3, y3, a, b, c;
cout << 'Введите координаты точек треугольника: ';
cin >> x1;
cin >> y1;
cin >> x2;
cin >> y2;
cin >> x3;
cin >> y3;
a = sqrt(pow((x2 - x1), 2) + pow((y2 - y1), 2));
b = sqrt(pow((x3 - x2), 2) + pow((y3 - y2), 2));
c = sqrt(pow((x1 - x3), 2) + pow((y1 - y3), 2));
if (a = b = c) {
cout << "Данный треугольник - равносторонний\n";
}
else if (a == b || b == c || a == c ) {
cout << "Данный треугольник - равнобедренный\n";
}
else if (a != b && b != c && a != c) {
cout << "Данный треугольник - разносторонний\n";
}
if (c > a && c > b) {
if (c*c == a*a + b*b) {
cout << "Данный треугольник - прямоугольный";
}
else if (c*c < a*a + b*b) {
cout << "Данный треугольник - остроугольный";
}
else {
cout << "Данный треугольник - тупоугольный";
}
}
else if (a > b && a > c) {
if (a*a == b*b + c*c) {
cout << "Данный треугольник - прямоугольный";
}
else if (a*a < b*b + c*c) {
cout << "Данный треугольник - остроугольный";
}
else {
cout << "Данный треугольник - тупоугольный";
}
}
else {
if (b*b == a*a + c*c) {
cout << "Данный треугольник - прямоугольный";
}
else if (b*b < a*a + c*c) {
cout << "Данный треугольник - остроугольный";
}
else {
cout << "Данный треугольник - тупоугольный";
}
}
}