¬(¬а∨с∧в) построить таблицу истинности и желательно объясните как это делается?

Ну, я попробую объяснить. во-первых, нам нужно определиться в количестве строк в нашей таблице. нужно 2 возвести в степень количества переменных. у нас это a, b и c (¬a не считается переменной, ибо ¬ — это операция наж переменной а), их 3 шт, следовательно нужно возвести 2 в 3-ю степень. 2^3=8, поэтому будет 8 строк. сначала записываются в строку наши переменные a, b, c. под первой записываем половину нолей подряд, половину единиц, под b четверть (половину предыдущей половины) нолей, четверть единиц, чередуя. для c я думаю понятно, как. дальше в логическом выражении нужно расставить действия, а для этого нужно знать приоритеты логических операций (как в сначала скобки, потом умножение и деление, а уж потом сложение и вычитание). приоритеты можно "загуглить". самым приоритетным является логич. отрицание (¬), т.е. сначала выполняется оно, а уж потом все другое. но тут мы видим большое отрицание всей скобки, но мы не будем искать сначала его, ибо это отрицание содержимого скобки, которое нужно еще найти. видим ¬а, пишем в таблицу. смотрим на столбик а и в ¬а пишем все наоборот. т.е. если в а стоит 0, то в ¬а будет 1 и наоборот. ибо так работает отрицание. дальше смотрим. есть /\ (конъюнкция — логич. умножение) и ∨ (дизъюнкция — логич. сложение). первым делом после отрицания выполняется умножение, а потом сложение. записываем с /\ в. это работает как обычное умножение. допустим, в с стоит 0, а в в стоит 1, то с*в=0*1=0. если 1 и 1, то 1 (единственный случай в умножении, где получается единица). дальше прибавляем не а к с /\ в. логическое сложение действует как обычное: 1+1=1, 1+0=1, 0+1=1, 0+0=0. и теперь пришли к отрицанию скобки. чтобы не писать длинную последнюю формулу, можно обозначить ее буквой f. и делаем отрицание нашего последнего выражения (¬а∨с /\ в).

......mm............