Сколько различных вариантов решений имеет уравнение? (o-> l)& (k-> l)& (m-> ! (n))& (l-> m)& (m-> k)=1 где k, l, m, n, o - логические переменные. у меня получилось решить методом перебора, но хотелось бы узнать какой-то более правильный решения.
Для удобства записи перепишем условие в несколько иную систему обозначений (но тоже вполне легальную)
Левая часть полученного выражения истинна, если истинна хотя бы одна из двух конъюнкций. Каждая из этих конъюнкций не включает одну из пяти переменных, следовательно, она не зависит от значения этой переменной и дает истинность как при ложном, так и при истинном её значении.
Итого получается ЧЕТЫРЕ различных варианта решения.
см. прикрепленные файлы.
Для удобства записи перепишем условие в несколько иную систему обозначений (но тоже вполне легальную)
Левая часть полученного выражения истинна, если истинна хотя бы одна из двух конъюнкций. Каждая из этих конъюнкций не включает одну из пяти переменных, следовательно, она не зависит от значения этой переменной и дает истинность как при ложном, так и при истинном её значении.
Итого получается ЧЕТЫРЕ различных варианта решения.