// PascalABC.NET 3.4.2, сборка 1785 от 06.09.2018
// Внимание! Если программа не работает, обновите версию!
procedure LocationPrint(x, y: real);
begin
if x = 0 then
if y = 0 then Writeln('Начало координат')
else Writeln('Ось Y')
else
if y = 0 then Writeln('Ось X')
else
if x > 0 then
if y < 0 then Writeln('Четвертая четверть')
else Writeln('Первая четверть')
else
if y < 0 then Writeln('Третья четверть')
else Writeln('Вторая четверть')
end;
begin
loop 2 do
begin
var (x, y) := ReadReal2('Введите координаты x и y:');
LocationPrint(x, y)
end
end.
При любых A, B и C данное выражение истинно.
Объяснение:Для начала упростим эквивалентность и импликацию.
Экивалентность (≡) раскрывается вот так:
x ≡ y = x ∧ y ∨ -x ∧ -yПрименим к нашим данным:
A ∧ B ≡ B ∧ C = (A ∧ B ∧ B ∧ C) ∨ ( -(A ∧ B) ∧ -(B ∧ C) ) =
Первая скобка упрощается по закону повторения (B ∧ B = B), а вторая скобка, а точнее отрицание раскрывается по закону де Моргана:
= (A ∧ B ∧ C) ∨ ( -A ∨ -B ∧ -B ∨ -C) =
По закону исключения третьего (A ∨ -A = 1) упрощаем запись:
= 1
На самом деле я здесь очень сильно упростил запись. На самом деле нам не помешало бы раскрыть данную дизъюнкцию, "перемножив" A на -A, A на -B, A на -C, B на -A и так далее. Но в итоге данная запись сократится в единицу.
Теперь рассмотрим импликацию (⇒):
(x ⇒ y) = -x ∧ yПрименим к нашим данным:
(-C ⇒ A) = -(-C) ∧ A =
По закону двойного отрицания (-(-C) = C):
C ∧ A
Итого наш пример принял такой вид:
1 ∨ C ∧ A
Данное выражение всегда истинно, поскольку дизъюнкция истинна в том случае, когда одно из выражений истинно, а в нашем случае левая часть (единица), то есть дизъюнкция вседа истинна.
