1.переместительный(коммутативный)закон: Для логического умножения:
A & B= B &A;
Для логического сложения :
A v B= B v A.
2.Сочетательный (ассоциативный )закон:
Для логического умножения:
(A & B ) & C= A & ( B & C);
Для логического сложения:
(A v B) v C=A v ( B v C).
3. Распределительный( дистрибутивный) закон:
Для логического умножения
А&(B v C) = ( A & B ) v ( A & C )
Для логисческго сложения:
A v ( B & C ) = (A v B ) & ( A v C)
4.Закон двойного отрицания:
Ā=A
Двойное отрицание исключает отрицание.
5.Закон исключенного третьего:
.для логического умножения:
А & Ā= 0;
Для логического сложения:
А v Ā= 1
6. Закон повторения :
.для логического умножения А & А = А;
.для логического сложения:
А v A = A.
7.Законы операций с 0 и 1;
.для логического умножения;
A & 0 = 0; A & 1 = A;
.для логического сложения :
А v 0=A ; A v 1 = 1.
begin
var a:=ArrRandom(100,-10,10);
a.Println;
Writeln(a.Where(x->x>0).Count,' положительных, ',
a.Where(x->x<0).Count,' отрицательных')
end.
Тестовое решение:
4 -6 0 8 2 -2 -1 -8 -6 8 -3 7 4 -7 -5 9 0 -3 -7 1 0 -4 6 3 8 -10 4 9 3 5 8 5 5 8 10 4 -8 3 8 8 -9 2 7 -8 -7 -5 2 -9 0 9 -7 7 -2 -6 7 -2 -1 7 -10 2 4 1 -1 0 10 3 -8 6 -6 2 6 7 -1 -4 -1 8 0 3 0 2 -2 2 -1 5 1 -9 -4 1 -9 1 -6 -5 3 -4 -7 1 -7 -3 -7 1
51 положительных, 42 отрицательных
Для данной сортировки используем алгоритм сортировки слиянием
В начале разбиваем арбузы на 2 группы по 2Каждую группу взвешиваем и сортируем (т.е. всего 2 взвешивания)Теперь собираем вместе, сравниваем сначала более легкие арбузы и находим самый легкий (всего 3 взвешивания)Теперь сравниваем тяжелый арбуз, что в группе с самым легким и более легкий из другой группы, и определяем второй по легкости (всего 4 взвешивания)Потом взвешиваем оставшиеся арбузы и докладываем их по порядку (всего 5 взвешивания)