Троичная логика (трёхзначная логика) — вид многозначной логики.

В отличии от двоичной логики кроме двух взаимно противоположных значений присутствует третье, промежуточное. Таким образом позволяет вести диалектические рассуждения, которые наиболее приближены к реальным условиям.

Помимо истинности и ложности высказываемого имеется третье состояние, промежуточное, когда нельзя сказать что суть есть ложно или суть есть истина. Это состояние можно трактовать к разряду неопределённого, неизвестного.

Рассмотрим задачу: «Будет завтра солнечно в Риме?».
Решение на неё в двойной логике нет, так как не учитывается тот вариант что ответчик может не знать ответа. Поэтому в двоичных системах всегда предварительно проверяют возможность продолжения рассуждений. В троичной логике такая задача решается с ходу благодаря третьему, промежуточному состоянию. Испытуемый может сразу ответить: да, нет и не знаю. Именно поэтому троичная логика естественна.

В проектирование троичных компьютеров троичная логика занимает решающее значение.
Так как двоичная логика является под множеством троичной логики, то перенос двоичных логических систем в троичную не представляет собой сложностей, более того такие системы могут быть впоследствии адаптированы к естественной троичной логике.

Таким образом троичная логика является более гибкой, простой и естественной. В компьютерных системах она позволяет добиваться ускорения обработки информации за счёт своей гибкости и оптимальности.