Создайте функцию которая считает с клавиатуры символьный массив и затем рассчитывает количество символов во введенной строке. напишите программу, которая позволяет с пользованием созданной функции считаnь с клавиатуры строку и вывести на экран количество символов в ней (с++)

#include < iostream> using namespace std; void countchars() {       char s[256];       cout < < "введите строку: ";       cin.getline(s, 256);       int count = 0;       for (unsigned int i = 0; i < strlen(s); i++)             count++;             cout < < "количество символов в строке: " < < count < < endl; } int main() {       setlocale(lc_all, "russian");       countchars();       system("pause");       return 0; } //================= // или так //================ #include < iostream> using namespace std; int countchars(char* s) {       int count = 0;       for (unsigned int i = 0; i < strlen(s); i++)             count++;       return count; } int main() {       setlocale(lc_all, "russian");       char s[256];       cout < < "введите строку: ";       cin.getline(s, 256);       cout < < "количество символов в строке: " < < countchars(s) < < endl;       system("pause");       return 0; }

Ответ:

при любых 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

данное выражение всегда истинно, поскольку дизъюнкция истинна в том случае, когда одно из выражений истинно, а в нашем случае левая часть (единица), то есть дизъюнкция вседа истинна.